<style face="normal" font="default" size="100%">Rapid Property Specification and Checking for Model-Based Formalisms</style>

Drupal-Bibcite