@inproceedings{
    PreoteasaTripakis2014_stavros,
    author = "Preoteasa, V. and Tripakis, S.",
    juforank = "1",
    language = "eng",
    title = "{Refinement Calculus of Reactive Systems}",
    booktitle = "Proceedings of the 14th ACM \& IEEE International Conference on Embedded Software (EMSOFT'14)",
    responsibleauthor = "Tripakis, Stavros and Preoteasa, Viorel",
    flags = "copy",
    il = "yes",
    eventdetails = "Oct 12-17, 2014, New Delhi, India",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4"
}