Miguel Felder Mauro Pezzè A formal design notation for real-time systems. 149-190 2002 11 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/505145.505146 db/journals/tosem/tosem11.html#FelderP02