@inproceedings(ABFG11b,
 author       = "P. Asirelli and M.H. ter Beek and A. Fantechi and S. Gnesi",
 year         = "2011",
 title        = "{Formal description of variability in product families}",
 editor       = "E.S. de Almeida and T. Kishi and C. Schwanninger and I. John and K. Schmid",
 booktitle    = "SPLC'11",
 publisher    = "IEEE",
 pages        = "130--139",
 doi          = "10.1109/SPLC.2011.34",
)
@inproceedings(ABFG12,
 author       = "P. Asirelli and M.H. ter Beek and A. Fantechi and S. Gnesi",
 year         = "2012",
 title        = "{A compositional framework to derive product line behavioural descriptions}",
 editor       = "T. Margaria and B. Steffen",
 booktitle    = "ISoLA'12",
 series       = "LNCS",
 volume       = "7609",
 publisher    = "Springer",
 pages        = "146--161",
 doi          = "10.1007/978-3-642-34026-0_12",
)
@inproceedings(BV14b,
 author       = "M.H. {}ter Beek and E.P. de Vink",
 year         = "2014",
 title        = "{Towards modular verification of software product lines with {mCRL2}}",
 editor       = "T. Margaria and B. Steffen",
 booktitle    = "FMSPLE track at ISoLA'14",
 series       = "LNCS",
 volume       = "8802",
 publisher    = "Springer",
 pages        = "368--385",
 doi          = "10.1007/978-3-662-45234-9_26",
)
@inproceedings(BV14:formalise,
 author       = "M.H. {}ter Beek and E.P. de Vink",
 year         = "2014",
 title        = "{Using {mCRL2} for the analysis of software product lines}",
 editor       = "S. Gnesi and N. Plat",
 booktitle    = "FormaliSE workshop at ICSE'14",
 publisher    = "IEEE",
 pages        = "31--37",
 doi          = "10.1145/2593489.2593493",
)
@article(CCHSLR13,
 author       = "A. Classen and M. Cordy and P. Heymans and P.{-}Y. Schobbens and A. Legay and J.{-}F. Raskin",
 year         = "2013",
 title        = "{Featured transition systems: Foundations for verifying variability-intensive systems and their application to {LTL} model checking}",
 journal      = "{IEEE} Trans. Software Eng.",
 volume       = "39",
 pages        = "1069--1089",
 doi          = "10.1109/TSE.2012.86",
)
@inproceedings(CHSLR10:icse,
 author       = "A. Classen and P. Heymans and P.{-}Y. Schobbens and A. Legay and J.{-}F. Raskin",
 year         = "2010",
 title        = "{Model checking \relax $\@@underline {\hbox {lots}}\mathsurround \z@ $\relax of systems: Efficient verification of temporal properties in software product lines}",
 editor       = "J. Kramer and J. Bishop and P.T. Devanbu and S. Uchitel",
 booktitle    = "ICSE'10",
 publisher    = "ACM",
 pages        = "335--344",
 doi          = "10.1145/1806799.1806850",
)
@inproceedings(CCPSHL12,
 author       = "M. Cordy and A. Classen and G. Perrouin and P.{-}Y. Schobbens and P. Heymans and A. Legay",
 year         = "2012",
 title        = "{Simulation-based abstractions for software product-line model checking}",
 editor       = "M. Glinz and G.C. Murphy and M. Pezz{\`{e}}",
 booktitle    = "ICSE'12",
 publisher    = "IEEE",
 pages        = "672--682",
 doi          = "10.1109/ICSE.2012.6227150",
)
@inproceedings(CGK+13:tacas,
 author       = "S. Cranen and J.F. Groote and J.J.A. Keiren and F.P.M. Stappers and E.P. de Vink and W. Wesselink and T.A.C. Willemse",
 year         = "2013",
 title        = "{An overview of the {mCRL2} toolset and its recent advances}",
 editor       = "N. Piterman and S.A. Smolka",
 booktitle    = "TACAS'13",
 series       = "LNCS",
 volume       = "7795",
 publisher    = "Springer",
 pages        = "199--213",
 doi          = "10.1007/978-3-642-36742-7_15",
)
@article(DV95:jacm,
 author       = "R. {De Nicola} and F.W. Vaandrager",
 year         = "1995",
 title        = "Three logics for branching bisimulation",
 journal      = "J. {ACM}",
 volume       = "42",
 number       = "2",
 pages        = "458--487",
 doi          = "10.1145/201019.201032",
)
@inproceedings(FUB06,
 author       = "D. Fischbein and S. Uchitel and V.A. Braberman",
 year         = "2006",
 title        = "{A foundation for behavioural conformance in software product line architectures}",
 editor       = "R.M. Hierons and H. Muccini",
 booktitle    = "ROSATEA workshop at ISSTA'06",
 publisher    = "ACM",
 pages        = "39--48",
 doi          = "10.1145/1147249.1147254",
)
@inproceedings(Gla90:concur,
 author       = "R.J. van Glabbeek",
 year         = "1990",
 title        = "{The linear time -- branching time spectrum (extended abstract)}",
 editor       = "J.C.M. Baeten and J.W. Klop",
 booktitle    = "CONCUR'90",
 series       = "LNCS",
 volume       = "458",
 publisher    = "Springer",
 pages        = "278--297",
 doi          = "10.1007/BFb0039066",
)
@inproceedings(Gla93:concur,
 author       = "R.J. van Glabbeek",
 year         = "1993",
 title        = "{The linear time -- branching time spectrum II: The semantics of sequential systems with silent moves (extended abstract)}",
 editor       = "E. Best",
 booktitle    = "CONCUR'93",
 series       = "LNCS",
 volume       = "715",
 publisher    = "Springer",
 pages        = "66--81",
 doi          = "10.1007/3-540-57208-2\_6",
)
@inproceedings(GW89:ifip,
 author       = "R.J. van Glabbeek and W.P. Weijland",
 year         = "1989",
 title        = "{Branching time and abstraction in bisimulation semantics (extended abstract)}",
 editor       = "G.X. Ritter",
 booktitle    = "IFIP Congress'89",
 publisher    = "North-Holland",
 pages        = "613--618",
 url          = "http://theory.stanford.edu/~rvg/abstracts.html\#11",
)
@article(GW96:jacm,
 author       = "R.J. van Glabbeek and W.P. Weijland",
 year         = "1996",
 title        = "{Branching time and abstraction in bisimulation semantics}",
 journal      = "J. {ACM}",
 volume       = "43",
 number       = "3",
 pages        = "555--600",
 doi          = "10.1145/233551.233556",
)
@inproceedings(GV90:icalp,
 author       = "J.F. Groote and F.W. Vaandrager",
 year         = "1990",
 title        = "{An efficient algorithm for branching bisimulation and stuttering equivalence}",
 editor       = "M. Paterson",
 booktitle    = "ICALP'90",
 series       = "LNCS",
 volume       = "443",
 publisher    = "Springer",
 pages        = "626--638",
 doi          = "10.1007/BFb0032063",
)
@inproceedings(LT88,
 author       = "K.G. Larsen and B. Thomsen",
 year         = "1988",
 title        = "{A modal process logic}",
 booktitle    = "LICS'88",
 publisher    = "IEEE",
 pages        = "203--210",
 doi          = "10.1109/LICS.1988.5119",
)
@book(Mil89,
 author       = "R. Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@article(PT87:siam,
 author       = "R. Paige and R.E. Tarjan",
 year         = "1987",
 title        = "{Three partition refinement algorithms}",
 journal      = "{SIAM} J. Comput.",
 volume       = "16",
 number       = "6",
 pages        = "973--989",
 doi          = "10.1137/0216062",
)
@article(TAKSS14,
 author       = "T. Th{\"u}m and S. Apel and C. K{\"a}stner and I. Schaefer and G. Saake",
 year         = "2014",
 title        = "{A classification and survey of analysis strategies for software product lines}",
 journal      = "{ACM} Comput. Surv.",
 volume       = "47",
 number       = "1",
 eid          = "6",
 doi          = "10.1145/2580950",
)
@inproceedings(Tri14,
 author       = "M. Tribastone",
 year         = "2014",
 title        = "{Behavioral relations in a process algebra for variants}",
 editor       = "S. Gnesi and A. Fantechi and P. Heymans and J. Rubin and K. Czarnecki",
 booktitle    = "SPLC'14",
 publisher    = "ACM",
 pages        = "82--91",
 doi          = "10.1145/2648511.2648520",
)