Timed I/O Automata: It is never too late to complete your timed specification theory

Martijn A. Goorden, Kim G. Larsen, Axel Legay +3

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…