Checking nested properties using bounded model checking and sequential ATPG | IEEE Conference Publication | IEEE Xplore