Karn¯ ?tis A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management, p.136 ,
Soloviev Bounded Model Checking for the Existential Part of Real-Time CTL ,
Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System, p.229 ,