Design and Analysis of Behavior-Based Systems using Formal TechniquesThorsten RopertzÉpuiséPrévenez-moi
