https://github.com/TAPAAL/verifydtapn
https://doi.org/10.1007/978-3-030-85037-1_3
View/edit source (Markdown)