Verification of concurrent systems with parametric delays using octahedra (2005)

by R Clarisó, J Cortadella
Venue:In Proc. 5th International Conference on Application of Concurrency to System Design (ACSD’05). IEEE Computer