Integrating refinement-based methods for developing timed systems
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Boström, Pontus
From action systems to distributed systems : the refinement approach
2016
/
p. 171-185
http://dx.doi.org/10.1201/b20053-17