Automated Support for Property Specification Based on Patterns. - Oscar Mondragon; Ann Q. Gates; Fadi Kassem (SEKE, 2003)