1. DC-DC boost converter [figures], April 2015.
http://goo.gl/rstOKi
2. DC-DC boost converter pcb [figure], April 2015.
http://www.goo.gl/pDNyw3
3. Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems. In: ICCPS (2014).
http://www.arxiv.org/abs/1401.5200
4. Abbas, H., Mittelmann, H., Fainekos, G.: Formal property verification in a conformance testing framework. In: MEMOCODE (2014)
5. Aerts, A.: Model-based testing tool for hybrid systems in Acumen. Technical report. CST 2015.073, TU/e (2015)