Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. - Roopak Sinha; Cheng Pang; Gerardo Santillan Martinez; Juha Kuronen; Valeriy Vyatkin (ICECCS, 2015)