Declarative cyber physical systems modeling to facilitate autonomous vehicles design. - Wei Ding; Feng-Jen Yang; Sesha Srinivasan (ICCVE, 2015)