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