@inproceedings(Asirelli:2011:mcheck-services,
 author       = "P. Asirelli and M. H. ter Beek and A. Fantechi and S. Gnesi",
 year         = "2011",
 title        = "A Model-Checking Tool for Families of Services",
 editor       = "R. Bruni and J. Dingel",
 booktitle    = "Formal Techniques for Distributed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "6722",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "44--58",
 doi          = "10.1007/978-3-642-21461-5\_3",
)
@inproceedings(Asirelli:2011:compfts,
 author       = "P. Asirelli and M. H. ter Beek and S. Gnesi and A. Fantechi",
 year         = "2011",
 title        = "Formal Description of Variability in Product Families",
 editor       = "E. Almeida and T. Kishi and C. Schwanninger and I. John and K. Schmid",
 booktitle    = "Proc. of 15th International Software Product Line Conference",
 publisher    = "IEEE",
 pages        = "130--139",
 doi          = "10.1109/SPLC.2011.34",
)
@inproceedings(fioco-sac14,
 author       = "H. Beohar and M. R. Mousavi",
 year         = "2014",
 title        = "Input-Output Conformance Testing Based on Featured Transition Systems",
 booktitle    = "Proceedings of the the 29th Symposium On Applied Computing",
 publisher    = "ACM Press",
 note         = "To appear, available from: {\texttt {http://ceres.hh.se/mediawiki/images/b/b0/} \texttt {Mousavi\_svt\_2014.pdf}}",
)
@book(book-mbt,
 author       = "M. Broy and B. Jonsson and J.-P. Katoen and M. Leucker and A. Pretschner",
 year         = "2005",
 title        = "Model-Based Testing of Reactive Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "3472",
 publisher    = "Springer Berlin Heidelberg",
 doi          = "10.1007/b137241",
)
@inproceedings(Abstract-delta:2010,
 author       = "D. Clarke and M. Helvensteijn and I. Schaefer",
 year         = "2010",
 title        = "Abstract delta modeling",
 editor       = "E. Visser and J. J\"{a}rvi",
 booktitle    = "Proceedings of the 9th international conference on Generative programming and component engineering",
 series       = "GPCE '10",
 publisher    = "ACM",
 address      = "NY, USA",
 pages        = "13--22",
 doi          = "10.1145/1868294.1868298",
)
@techreport(Classen2010b,
 author       = "A. Classen",
 year         = "2010",
 title        = "Modelling with {FTS}: a Collection of Illustrative Examples",
 type         = "Technical Report",
 number       = "P-CS-TR SPLMC-00000001",
 institution  = "PReCISE Research Center, University of Namur",
 url          = "http://www.fundp.ac.be/pdf/publications/69416.pdf",
)
@article(Classen:2012:fts,
 author       = "A. Classen and M. Cordy and P.-Y. Schobbens and P. Heymans 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 Transactions on Software Engineering",
 volume       = "39",
 number       = "8",
 pages        = "1069--1089",
 doi          = "10.1109/TSE.2012.86",
)
@inproceedings(Classen:2010:lots,
 author       = "A. Classen and P. Heymans and P.-Y. Schobbens and A. Legay and J.-F. Raskin",
 year         = "2010",
 title        = "Model Checking Lots 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    = "32nd International Conference on Software Engineering",
 series       = "ICSE '10",
 volume       = "1",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "335--344",
 doi          = "10.1145/1806799.1806850",
)
@inproceedings(Czarnecki:2012,
 author       = "K. Czarnecki and P. Gr{\"u}nbacher and R. Rabiser and K. Schmid and A. Wasowski",
 year         = "2012",
 title        = "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches",
 editor       = "U. W. Eisenecker and S. Apel and S. Gnesi",
 booktitle    = "Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems",
 series       = "VaMoS '12",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "173--182",
 doi          = "10.1145/2110147.2110167",
)
@article(Engstrom2011,
 author       = "E. Engstr{\"o}m and P. Runeson",
 year         = "2011",
 title        = "Software Product Line Testing - A Systematic Mapping Study",
 journal      = "Information {\&} Software Technology",
 volume       = "53",
 number       = "1",
 pages        = "2--13",
 doi          = "10.1016/j.infsof.2010.05.011",
)
@inproceedings(Fischbein:2006:conformance,
 author       = "D. Fischbein and S. Uchitel and V. Braberman",
 year         = "2006",
 title        = "A Foundation for Behavioural Conformance in Software Product Line Architectures",
 editor       = "R. M. Hierons and H. Muccini",
 booktitle    = "Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis",
 series       = "ROSATEA '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "39--48",
 doi          = "10.1145/1147249.1147254",
)
@incollection(Gruler:2008:PL-ccs,
 author       = "A. Gruler and M. Leucker and K. Scheidemann",
 year         = "2008",
 title        = "Modeling and Model Checking Software Product Lines",
 editor       = "G. Barthe and F. S. de Boer",
 booktitle    = "Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "5051",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "113--131",
 doi          = "10.1007/978-3-540-68863-1\_8",
)
@techreport(Kang90,
 author       = "K. Kang and S. Cohen and J. Hess and W. Novak and S. Peterson",
 year         = "1990",
 title        = "Feature-Oriented Domain Analysis ({FODA}) Feasibility Study",
 type         = "Technical Report",
 number       = "CMU/SEI-90-TR-21",
 institution  = "Software Engineering Institute, Carnegie Mellon University",
 address      = "Pittsburgh, Pennsylvania",
 url          = "http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11231",
)
@inproceedings(Lamancha2013,
 author       = "B. P. Lamancha and M. Polo and M. Piattini",
 year         = "2013",
 title        = "Systematic Review on Software Product Line Testing",
 editor       = "J. Cordeiro and M. Virvou and B. Shishkov",
 booktitle    = "Software and Data Technologies",
 series       = "Comm. in Computer and Information Science",
 volume       = "170",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "58--71",
 doi          = "10.1007/978-3-642-29578-2\_4",
)
@techreport(delangen12,
 author       = "M.A. de Langen",
 year         = "2013",
 title        = "Vehicle Function Correctness",
 type         = "Masters Thesis",
 institution  = "Eindhoven University of Technology",
 url          = "http://alexandria.tue.nl/extra1/afstversl/wsk-i/langen2013.pdf",
)
@incollection(Larsen:2007:MIA,
 author       = "K. G. Larsen and U. Nyman and A. W\k {a}sowski",
 year         = "2007",
 title        = "Modal I/O Automata for Interface and Product Line Theories",
 booktitle    = "Programming Languages and Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "4421",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "64--79",
 doi          = "10.1007/978-3-540-71316-6\_6",
)
@incollection(inc-mbt-delta:2012,
 author       = "M. Lochau and I. Schaefer and J. Kamischke and S. Lity",
 year         = "2012",
 title        = "Incremental Model-Based Testing of Delta-Oriented Software Product Lines",
 editor       = "A. D. Brucker and J. Julliand",
 booktitle    = "Tests and Proofs",
 series       = "Lecture Notes in Computer Science",
 volume       = "7305",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "67--82",
 doi          = "10.1007/978-3-642-30473-6\_7",
)
@article(Neto2011,
 author       = "Paulo Anselmo da Mota Silveira Neto and Ivan do Carmo Machado and John D. McGregor and Eduardo Santana de Almeida and Silvio Romero de Lemos Meira",
 year         = "2011",
 title        = "A systematic mapping study of software product lines testing",
 journal      = "Information and Software Technology",
 volume       = "53",
 number       = "5",
 pages        = "407--423",
 doi          = "10.1016/j.infsof.2010.12.003",
)
@incollection(Oster2011,
 author       = "S. Oster and A. W{\"{u}}bbeke and G. Engels and A. Sch{\"{u}}rr",
 year         = "2011",
 title        = "A Survey of Model-Based Software Product Lines Testing",
 editor       = "J. Zander and I. Schieferdecker and P. J. Mosterman",
 booktitle    = "Model-based Testing for Embedded Systems",
 publisher    = "CRC Press",
 pages        = "339--381",
 doi          = "10.1201/b11321-14",
)
@article(Schaefer2012,
 author       = "I. Schaefer and R. Rabiser and D. Clarke and L. Bettini and D. Benavides and G. Botterweck and A. Pathak and S. Trujillo and K. Villela",
 year         = "2012",
 title        = "Software diversity: state of the art and perspectives",
 journal      = "International Journal on Software Tools for Technology Transfer",
 volume       = "14",
 number       = "5",
 pages        = "477--495",
 doi          = "10.1007/s10009-012-0253-y",
)
@inproceedings(Schmid2011,
 author       = "K. Schmid and R. Rabiser and P. Gr{\"u}nbacher",
 year         = "2011",
 title        = "A Comparison of Decision Modeling Approaches in Product Lines",
 editor       = "P. Heymans and K. Czarnecki and U. W. Eisenecker",
 booktitle    = "Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems",
 series       = "VaMoS '11",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "119--126",
 doi          = "10.1145/1944892.1944907",
)
@inproceedings(Schobbens:2006,
 author       = "P.-Y. Schobbens and P. Heymans and J.-C. Trigaux",
 year         = "2006",
 title        = "Feature Diagrams: A Survey and a Formal Semantics",
 booktitle    = "Proc. of the 14th IEEE International Conference on Requirements Engineering",
 series       = "RE '06",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "136--145",
 doi          = "10.1109/RE.2006.23",
)
@article(Sinnema:2007,
 author       = "M. Sinnema and S. Deelstra",
 year         = "2007",
 title        = "Classifying Variability Modeling Techniques",
 journal      = "Information {\&} Software Technology",
 volume       = "49",
 number       = "7",
 pages        = "717--739",
 doi          = "10.1016/j.infsof.2006.08.001",
)
@incollection(Tretmans08,
 author       = "J. Tretmans",
 year         = "2008",
 title        = "Model Based Testing with Labelled Transition Systems",
 editor       = "R. M. Hierons and J. P. Bowen and M. Harman",
 booktitle    = "Formal Methods and Testing",
 chapter      = "I",
 series       = "Lecture Notes in Computer Science",
 volume       = "4949",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "1--38",
 doi          = "10.1007/978-3-540-78917-8\_1",
)
@inproceedings(Yannakakis99,
 author       = "M. Yannakakis and D. Lee",
 year         = "1999",
 title        = "Testing of Finite State Systems",
 editor       = "G. Gottlob and E. Grandjean and K. Seyr",
 booktitle    = "Computer Science Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "1584",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "29--44",
 doi          = "10.1007/10703163\_3",
)