1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Belluomini W., “Algorithms for synthesis and verification of timed circuits and systems,” Ph.D. thesis, University of Utah, Utah, 1999.
3. Timed circuit verification using TEL structures;Belluomini;IEEE Transactions on Computer-Aided Design of Integrated Circuits,2001
4. Partial order reductions for timed systems;Bengtsson;Proc. International Conf. on Concurrency Theory,1998
5. Modeling and Verification of Time Dependent Systems Using Time Petri Nets;Berthomieu;IEEE Transactions on Software Engineering,1991