Incremental and Commutative Composition of State-Machine Models of Features.

Sandy Beidu, Joanne M. Atlee, Pourya Shaker

Browse the full ICSE paper archive.