Mentor targets untimed C for synthesis | IET Journals & Magazine | IEEE Xplore