@techreport{
    PreoteasaTripakis2014_stavros_arxiv,
    author = "Preoteasa, V. and Tripakis, S.",
    juforank = "",
    language = "eng",
    title = "{Refinement Calculus of Reactive Systems}",
    url = "http://arxiv.org/abs/1406.6035",
    series = "CoRR",
    address = "",
    number = "1406.6035",
    responsibleauthor = "Tripakis, Stavros and Preoteasa, Viorel",
    il = "yes",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "D4",
    pages = "22"
}