. "Architecture Description Language"@en . "EVENT-B"@en . "UML"@fr . "Architecture logicielle"@fr . "Graiet" . "Software architecture"@en . "Accepted Termination States"@en . "9a7a477efe4304c7c6e25ed301ed5a3f" . "V\u00E9rification formelle"@fr . "Transaction reliability"@en . "Mohamed Graiet" . . "Composite web service configuration"@en . "Mohamed" . . "Formal verification"@en . "Wright"@fr . "Langage de Description d'Architectures"@fr .