Process-oriented development of embedded systems: modeling behavior and dependability | IEEE Conference Publication | IEEE Xplore