Title: A hybrid projection temporal logic for hybrid systems
First published: 1995