Ding Z and Liu J. (2009). An Improvement of Software Architecture Verification. Electronic Notes in Theoretical Computer Science (ENTCS). 243. (49-67). Online publication date: 1-Jul-2009.

https://doi.org/10.1016/j.entcs.2009.07.005

Tsai J, Juan E and Sahay A. (2003). Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. IEEE Transactions on Knowledge and Data Engineering. 15:2. (405-422). Online publication date: 1-Feb-2003.

https://doi.org/10.1109/TKDE.2003.1185842

Jørgensen J and Kristensen L. (1999). Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Transactions on Parallel and Distributed Systems. 10:7. (714-732). Online publication date: 1-Jul-1999.

https://doi.org/10.1109/71.780866