"Rule-based Verification of Scenarios with Pre-conditions and Post-conditions."

Tatsuya Toyama, Atsushi Ohnishi (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics