Constructing abstract models of concurrent real-time software (1996)

by J C Corbett
Venue:Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA