swMATH46014MaRDI QIDQ5974888
No author found.
Source code repository: https://github.com/reactive-systems/bosy