@article{TERBEEK20191,
  volume = {169},
  author = {Maurice H. ter Beek and Ferruccio Damiani and Stefania Gnesi and
            Franco Mazzanti and Luca Paolini},
  issn = {0167-6423},
  keywords = {Software product lines, Formal specification, Behavioural
              specification, Modal transition systems, Featured transition
              systems},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642318303769},
  abstract = {We demonstrate that modal transition systems with variability
              constraints are equally expressive as featured transition systems,
              by defining a transformation of the latter into the former, a
              transformation of the former into the latter, and proving the
              soundness and completeness of both transformations. Modal
              transition systems and featured transition systems are widely
              recognised as fundamental behavioural models for software product
              lines and our results thus contribute to the expressiveness
              hierarchy of such basic models studied in other papers published
              in this journal.},
  title = {On the expressiveness of modal transition systems with variability
           constraints},
  pages = {1 - 17},
  journal = {Science of Computer Programming},
  doi = {https://doi.org/10.1016/j.scico.2018.09.006},
  year = {2019},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)