A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code - Samuel Lincoln Magalhães Barrocas (2018)