Towards Multi-View Test Specification in CPPS Engineering | IEEE Conference Publication | IEEE Xplore