Title: Compositional framework for the guided evolution of time-critical systems
First published: 2002