Automatic synthesis of SARA design models from system requirements | IEEE Journals & Magazine | IEEE Xplore