@article{KHKJ-SoSyM-10,
    AUTHOR      = {Slim Kallel and Mohamed Hadj Kacem and Mohamed Jmaiel},
    TITLE       = {{Modeling and enforcing invariants of dynamic
                  software architectures}},
    JOURNAL     = {Software and Systems Modeling},
    YEAR        = {2012},
    volume      = {11},
    number      = {1},
    pages       = {127--149},
    publisher   = {Springer},
    doi         = {10.1007/s10270-010-0162-z}
}