1. Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems;Åkesson,2006
2. Verification of smart contract business logic exploiting a Java source code verifier;Ahrendt,2019
3. A survey of attacks on Ethereum smart contracts sok;Atzei,2017
4. Introduction to Discrete Event Systems;Cassandras,1999
5. Automatic functional test generation using the extended finite state machine model;Cheng,1993