David M. MacKenzie
Microsafe Systems, 38 Miller Drive, Suite 131, Mill Valley, CA
Validated templates for specification of complex LTL formulas
Journal of Systems and Software