Model Checking of Analog Systems using an Analog Specification Language | IEEE Conference Publication | IEEE Xplore