Model-Based Prototype Development to Support Early Validation of Cyber-Physical System Specifications