Incremental and Commutative Composition of State-Machine Models of Features | IEEE Conference Publication | IEEE Xplore