Sebastian Steinhorst, Lars Hedrich. Analog assertion-based verification on partial state space representations using ASL. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 98-104, IEEE, 2012. [doi]
Abstract is missing.