1. Paulo Alencar, Donald Cowan, Jing Dong, Carlos Lucena, A pattern-based approach to structural design composition, in: Proceedings of the IEEE 23rd Annual International Computer Software & Applications Conference, Phoenix USA, October 1999, pp. 160–165.
2. Paulo Alencar, Donald Cowan, Carlos Lucena, A formal approach to architectural design patterns, in: Proceedings of the Third International Symposium of Formal Methods Europe (FME), 1996, pp. 576–594.
3. Model checking in practice: the T9000 virtual channel processor;Barrett;IEEE Transactions on Software Engineering,1998
4. F.L. Brown, E.B. Fernandez, The authenticator pattern, in: Proceedings of the Pattern Languages of Programs (PLoP’99), 1999.
5. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Transactions on Computer,1986