1

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25