On integrating the MOBIUS and MODEST modeling tools

H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J. Katoen, R. Klaren, Vinh Vi Lam, W.H. Sanders
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings.  
This tool paper presents the integration of the MODEST specification language into the MÖBIUS framework.
doi:10.1109/dsn.2003.1209980 dblp:conf/dsn/BohnenkampCDDHKKLS03 fatcat:r6mj53ctmjesjbvqaj5hvd77gu