Draft: Resolve "Add formal specification and verification of software components interacting with asynchronous communication"
requested to merge 4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2 into devel