Digital Process Twins for Interleaving Requirements Elicitation and Design of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore