1 paper
Chaima Boufaied, Maris Jukss, Domenico Bianculli +2
The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs ar…