Molecular Model Checking. - E. Allen Emerson; Kristina D. Hager; Jay H. Konieczka (Int. J. Found. Comput. Sci., 2006)