Formal hardware/software co-verification by interval property checking with abstraction. - Nguyen, Minh D.; Wedler, Markus; Stoffel, Dominik; Kunz, Wolfgang (2011)