Integration of a formal specification approach into CPPS engineering workflow for machinery validation | IEEE Conference Publication | IEEE Xplore