Enables modeling asynchronous and synchronous communication and rich real-time constraints for complex coordination protocols. - View it on GitHub