Oscar Mondragon, Ann Q. Gates, Fadi Kassem. Automated Support for Property Specification Based on Patterns. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 174-181, 2003.