Rajesh Mascarenhas Dinkar Karumuri Ugo A. Buy Robert V. Kenyon Modeling and Analysis of a Virtual Reality System with Time Petri Nets. 33-42 1998 ICSE db/conf/icse/icse98.html#MascarenhasKBK98