Hyoung Seok Hong Insup Lee Oleg Sokolsky Hasan Ural A Temporal Logic Based Theory of Test Coverage and Generation. 327-341 2002 conf/tacas/2002 TACAS http://link.springer.de/link/service/series/0558/bibs/2280/22800327.htm db/conf/tacas/tacas2002.html#HongLSU02