Pons, AP. (2002). Temporal abstract classes and virtual temporal specifications for real-time systems
.
11(3), 291-308. 10.1145/567793.567794
Pons, AP. (2002). Temporal abstract classes and virtual temporal specifications for real-time systems
. 11(3), 291-308. 10.1145/567793.567794