Jane W.-S. Liu Rhan Ha Methods for validating real-time constraints. 85-98 1995 30 Journal of Systems and Software 1-2 http://dx.doi.org/10.1016/0164-1212(94)00118-7 db/journals/jss/jss30.html#LiuH95