AsmL Specification of a Ptolemy II Scheduler. - Daniel Lázaro Cuadrado; Peter Koch 001; Anders P. Ravn (Abstract State Machines, 2003)

Automated distributed simulation in PTOLEMY II. - Daniel Lázaro Cuadrado; Anders P. Ravn; Peter Koch 001 (Parallel and Distributed Computing and Networks, 2007)