Towards an Extensible Architecture and Tool Support for Model-Based Verification | Publicación