Component-Based Construction of Heterogeneous Real-Time Systems in Bip [chapter]

Joseph Sifakis
2009 Lecture Notes in Computer Science  
We need an all-encompassing component-based construction framework for Mastering complexity through componentization Enhanced verifiability by compositional reasoning Comparing different architectural solutions of the same problem
doi:10.1007/978-3-642-02424-5_1 fatcat:ptx772ywubgqlmvxfpgjashtge