Majumdar, R., Saha, I., & Wang, Z. (2010). Systematic testing for control applications. In 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE) (pp. 1-10). Piscataway, NJ: IEEE.