Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems | Publicación