Gael F. Close, Gjalt De Jong. Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 239-245, IEEE, 2012. [doi]
Abstract is missing.