Carlo Ghezzi;Sandro Morasca;Mauro Pezzè
-;-;-
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Timed verification of the reliable adaptive multicast protocol
Journal of Systems and Software