Introduction from session chair component models for dependable systems | IEEE Conference Publication | IEEE Xplore