Bernard P. Zeigler, James J. Nutaro, Chungman Seo. Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis. IJSPM, 12(1):2-15, 2017. [doi]
@article{ZeiglerNS17, title = {Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis}, author = {Bernard P. Zeigler and James J. Nutaro and Chungman Seo}, year = {2017}, doi = {10.1504/IJSPM.2017.10003688}, url = {https://doi.org/10.1504/IJSPM.2017.10003688}, researchr = {https://researchr.org/publication/ZeiglerNS17}, cites = {0}, citedby = {0}, journal = {IJSPM}, volume = {12}, number = {1}, pages = {2-15}, }