Title: An environment for the verification and code generation of temporal rules
First published: 1993