Timed Message Sequence Charts

[1]
TBD

[1] [doi] R. Jonk, J. Voeten, M. Geilen, T. Basten, and R. Schiffelers, “Smt-based verification of temporal properties for component-based software systems,” Ifac-papersonline, vol. 53, iss. 4, pp. 493-500, 2020.
[Bibtex]
@article{JVGBS20,
title = {SMT-based verification of temporal properties for component-based software systems},
journal = {IFAC-PapersOnLine},
volume = {53},
number = {4},
pages = {493-500},
year = {2020},
note = {15th IFAC Workshop on Discrete Event Systems WODES 2020 — Rio de Janeiro, Brazil, 11-13 November 2020},
issn = {2405-8963},
doi = {https://doi.org/10.1016/j.ifacol.2021.04.045},
url = {https://www.sciencedirect.com/science/article/pii/S2405896321000951},
author = {R. Jonk and J. Voeten and M. Geilen and T. Basten and R. Schiffelers},
keywords = {Verification, Component-based software system, Message Sequence Chart, Metric Temporal Logic, Modeling}
}