@InCollection{
  author    = {Francisco Dur{\'a}n and Fernando Orejas and Steffen Zschaler},
  title     = {Behaviour Protection in Modular Rule-Based System Specifications},
  doi       = {10.1007/978-3-642-37635-1_2},
  url       = {http://dx.doi.org/10.1007/978-3-642-37635-1_2},
  pages     = {24--49},
  editor    = {Narciso Mart{\'\i}­Oliet and Miguel Palomino},
  booktitle = {Recent Trends in Algebraic Development Techniques},
  publisher = {Springer Berlin Heidelberg},
  series    = {Lecture Notes in Computer Science},
  volume    = 7841,
  year      = 2013,
  isbn      ={978-3-642-37634-4},
}