A multilevel contract model for dependable Feature-Oriented components | IEEE Conference Publication | IEEE Xplore