Design of embedded systems: formal models, validation, and synthesis | IEEE Journals & Magazine | IEEE Xplore