Title: Runtime monitoring of state machines : formalism and analysis
First published: 2005