CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. - Jonas Westman; Mattias Nyberg; Oscar Thydén (CyPhy, 2016)