@article{Alur_2003,
    doi = {10.1109/tse.2003.1214326},
    url = {https://doi.org/10.1109%2Ftse.2003.1214326},
    year = {2003},
    month = {jul},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {29},
    number = {7},
    pages = {623--633},
    author = {R. Alur and K. Etessami and M. Yannakakis},
    title = {Inference of message sequence charts},
    journal = {{IEEE} Transactions on Software Engineering}
}

@article{Alur_2003, doi = {10.1109/tse.2003.1214326}, url = {https://doi.org/10.1109%2Ftse.2003.1214326}, year = {2003}, month = {jul}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {29}, number = {7}, pages = {623--633}, author = {R. Alur and K. Etessami and M. Yannakakis}, title = {Inference of message sequence charts}, journal = {{IEEE} Transactions on Software Engineering} }