@inproceedings{
    Preoteasa:2014:RCR:2656045.2656068,
    author = "Preoteasa, Viorel and Tripakis, Stavros",
    isbn = "978-1-4503-3052-7",
    series = "EMSOFT '14",
    il = "yes",
    eventdetails = "International conference on embedded software, EMSOFT2014, 12-17 October, New Delhi, India",
    year = "2014",
    title = "Refinement Calculus of Reactive Systems",
    booktitle = "Proceedings of the 14th International Conference on Embedded Software",
    acmid = "2656068",
    juforank = "1",
    location = "New Delhi, India",
    unitcode = "T306-100",
    articleno = "2",
    impactfactor = "A4",
    numpages = "10",
    responsibleauthor = "Preoteasa, Viorel and Tripakis, Stavros",
    address = "New York, NY, USA",
    kay = "NA",
    pages = "2:1--2:10",
    publisher = "ACM",
    doi = "10.1145/2656045.2656068",
    language = "eng",
    url = "http://doi.acm.org/10.1145/2656045.2656068"
}