Modeling and Analysis of a Virtual Reality System with Time Petri Nets. - Rajesh Mascarenhas; Dinkar Karumuri; Ugo A. Buy; Robert V. Kenyon (ICSE, 1998)