An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure correctness of essential system design properties.
Sabine Süsstrunk, Mathieu Salzmann, Tong Zhang, Bahar Aydemir, Ludo Hoffstetter