MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups | IEEE Conference Publication | IEEE Xplore