Rigorous Component-Based System Design Using the BIP Framework | IEEE Journals & Magazine | IEEE Xplore