Modelling and analysis with featured modal contract automata.

Davide Basile, Maurice H. ter Beek, Stefania Gnesi

Browse the full SPLC paper archive.