J. Ceri¸naceri¸na-b¯-erzi¸naerzi¸na and G. Bi?evskis, Karn¯ ?tis A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management, p.136

M. Rebout, L. Féraud, L. Marie-magdeleine, S. , and K. , Soloviev Bounded Model Checking for the Existential Part of Real-Time CTL

I. Bluemke and A. , Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System, p.229