Krieg, C., Rathmair, M., & Schupfer, F. (2014). A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. In Proceedings of the 11th IEEE International Conference on Embedded Software and Systems (ICESS 2014) (p. 6). http://hdl.handle.net/20.500.12708/74150