Systematic verification of embedded components with re-usable properties | IEEE Conference Publication | IEEE Xplore