State space design cycle and hardware in the loop testing and verification. - Kourosh Rahnamai; Justin Rowlands (MWSCAS, 2017)