Constraint-based platform variants specification for early system verification | IEEE Conference Publication | IEEE Xplore