Anakreon Mentis Panagiotis Katsaros Model checking and code generation for transaction processing software. 711-722 2012 24 Concurrency and Computation: Practice and Experience 7 http://dx.doi.org/10.1002/cpe.1876 db/journals/concurrency/concurrency24.html#MentisK12