Comparing code coverage metrics for analog behavioral models. - Andreas Furtig; Moritz Paschke; Lars Hedrich (SMACD, 2017)