Cyber-physical specification mismatch identification with dynamic analysis

Taylor T. Johnson, Stanley Bak, Steven Drager
2015 Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems - ICCPS '15  
doi:10.1145/2735960.2735979 dblp:conf/iccps/JohnsonBD15 fatcat:snu4kog6zzacfctsabyvulcx3u