David A. Duffy Craig MacNish John A. McDermid Philip Morris A Framework for Requirements Analysis Using Automated Reasoning 68-81 conf/caise/95 CAiSE 1995 db/conf/caise/caise95.html#DuffyMMM95 http://dx.doi.org/10.1007/3-540-59498-1_238