Robust specification of real time components (2011)

by K G Larsen, A Legay, L-M Traonouez, A Wasowski
Venue:of Lecture Notes in Computer Science