Model-based software synthesis | IEEE Journals & Magazine | IEEE Xplore