Analysing the Linux kernel feature model changes using FMDiff

Publication
Software & Systems Modeling