Runtime Verification: The Application Perspective.

Ylis Falcone, Lenore D. Zuck

Browse the full ISoLA paper archive.