Title: A visual framework for formal systems development using interval temporal logic
First published: 2002