1. Barcio, B.T., 1994. SMOOCHES: State Machines for Object-Oriented Concurrent, Hierarchical Engineering Specifications, Master’s thesis, Dept. of Electrical and Computer Eng., The University of Texas at Austin.
2. Object-oriented analysis, modeling, and simulation of a notional air defense system;Barcio;Simulation,1996
3. An object-oriented modeling and simulation environment for reactive systems development;Barcio;Int. J. Flex. Manuf. Sys.,1997
4. Modelling behaviour requirements for automatic interpretation;Billington,2010
5. Dammag, H., Nissanke, N., 1999. Safecharts for specifying and designing safety critical systems. In: Symposium on Reliable Distributed Systems (SRDS 1999). pp. 78–87.