David L. Ripps
Industrial Programming Inc., Jericho, NY
A taxonomy of coordination mechanisms used by real-time processes
ACM SIGAda Ada Letters
High level timed Petri net templates for the temporal verification of real-time multiprocessor applications
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics