Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components | IEEE Conference Publication | IEEE Xplore