A timed semantics for a hierarchical design notation. - Phillip James Brooke (1999)