@article{ACS13,
title = {Rigorous implementation of real-time systems - from theory to application },
author = {Abdellatif, Tesnim and Combaz, Jacques and Sifakis, Joseph},
year = {2013},
journal = {Mathematical Structures in Computer Science},
number = {4},
pages = {882-914},
volume = {23},
team = {DCS, RSD},
ee = {http://dx.doi.org/10.1017/S096012951200028X},
bibsource = {DBLP, http://dblp.uni-trier.de},
}