@article{Hoefner_KM_11,
    author           = {H\"ofner, Peter and Khedri, Ridha and M\"oller, Bernhard},
    journal          = {International Journal of Software and Informatics (IJSI)},
    keywords         = {formal model driven software development, software family, product family algebra, functional
                        requirements, requirements scenarios, semantics},
    month            = jul,
    number           = {1-2, Part II},
    pages            = {245--266},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4591.pdf},
    title            = {Supplementing Product Families with Behaviour},
    volume           = {5},
    year             = {2011}
  }