Software hardware co-simulation and co-verification in safety critical system design | IEEE Conference Publication | IEEE Xplore