Add formal specification and verification of software components interacting with asynchronous communication
The current formal verification support only considers synchronous composition of components. This should be extended to consider asynchronous composition.