Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy | IEEE Conference Publication | IEEE Xplore