Tempo: A Toolkit for The Timed Input/Output Automata Formalism
Nancy Ann Lynch, L. Michel, A.A. Shvartsman · 2008
Tempo is a simple formal language for modeling distributed, concurrent, and timed systems as collections of interacting state machines, called timed input/output automata. Tempo provides natural mathematical notations for describing systems, their intended properties, and intended relationships bet