Simulator for Real-Time Abstract State Machines. - Pavel Vasilyev (FORMATS, 2006)

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking. - Anatol Slissenko; Pavel Vasilyev (J. Univers. Comput. Sci., 2008)