A Model Library for Finite State Machines in Cadmium. - Amitav Shaw; Arshpreet Singh; Gabriel A. Wainer (SpringSim, 2020)