"Efficient Model Checking of PSL Safety Properties."

Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics