“…IEEE Workshop on Languages for Automation National University of Singapore…”