JM Cobleigh, LA Clarke and LJ Osterweil. "FLAVERS: A finite state verification technique for software systems" IBM SYSTEMS JOURNAL Vol. 41 Iss. 1 (2002)
Available at: http://works.bepress.com/leon_osterweil/21/