Declarative modeling cases of cyber physical systems. - Wei Ding; William Engel; Andre Goode; Giovanni Santostasi (LISS, 2016)