@misc(IBM,
 author       = "M. Abu-Matar",
 year         = "2007",
 title        = "Toward a service-oriented analysis and design methodology for software product lines",
 howpublished = "\url {http://www.ibm.com/developerworks/webservices/library/ar-soaspl/index.html}",
)
@misc(Cisco1,
 author       = "R. Aldrich and G. Mellinge",
 year         = "2008",
 title        = "{Cisco Energy Management: A Case Study in Implementing Energy as a Service}",
 howpublished = "\url {http://www.cisco.com/en/US/prod/collateral/switches/ps5718/ps10195/CiscoEMSWhitePaper.pdf}",
)
@article(20years,
 author       = "A. Antonik and M. Huth and K.G. Larsen and U. Nyman and A. Wasowski",
 year         = "2008",
 title        = "20 {Y}ears of modal and mixed specifications",
 journal      = "Bulletin of the EATCS",
 volume       = "95",
 pages        = "94--129",
)
@inproceedings(Tension,
 author       = "S. Apel and C. Kaestner and C. Lengauer",
 year         = "2008",
 title        = "Research challenges in the tension between features and services",
 booktitle    = "Proceedings 2nd International Workshop on Systems Development in SOA Environments (SDSOA'08)",
 publisher    = "ACM Press",
 pages        = "53--58",
 doi          = "10.1145/1370916.1370930",
)
@inproceedings(Asadi,
 author       = "M. Asadi and B. Mohabbati and N. Kaviani and D. Ga\v {s}evi\'{c} and M. Bo\v {s}kovi\'{c} and M. Hatala",
 year         = "2009",
 title        = "{Model-driven development of families of Service-Oriented Architectures}",
 editor       = "S. Apel and W.R. Cook and K. Czarnecki and C. K{\"a}stner and N. Loughran and O. Nierstrasz",
 booktitle    = "Proceedings 1st International Workshop on Feature-Oriented Software Development (FOSD'09)",
 publisher    = "ACM Press",
 pages        = "95--102",
 doi          = "10.1145/1629716.1629735",
)
@inproceedings(ABGF09,
 author       = "P. Asirelli and M. H. ter Beek and S. Gnesi and A. Fantechi",
 year         = "2009",
 title        = "{Deontic Logics for Modeling Behavioural Variability}",
 editor       = "D. Benavides and A. Metzger and U.W. Eisenecker",
 booktitle    = "Proceedings of the 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'09)",
 series       = "ICB Research Report",
 volume       = "29",
 publisher    = "Universit{\"a}t Duisburg-Essen",
 pages        = "71--76",
 note         = "\url {http://www.vamos-workshop.net/proceedings/VaMoS\_2009\_Proceedings.pdf}",
)
@inproceedings(ABGF10a,
 author       = "P. Asirelli and M. H ter Beek and S. Gnesi and A. Fantechi",
 year         = "2010",
 title        = "{A Deontic Logical Framework for Modelling Product Families}",
 editor       = "D. Benavides and D.S. Batory and P. Gr{\"u}nbacher",
 booktitle    = "Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10)",
 series       = "ICB Research Report",
 volume       = "37",
 publisher    = "Universit{\"a}t Duisburg-Essen",
 pages        = "37--44",
 note         = "\url {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf}",
)
@inproceedings(ABFG10b,
 author       = "P. Asirelli and M.H. ter Beek and A. Fantechi and S. Gnesi",
 year         = "2010",
 title        = "{A Logical Framework to Deal with Variability}",
 editor       = "D. M{\'e}ry and S. Merz",
 booktitle    = "Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6396",
 publisher    = "Springer-Verlag",
 pages        = "43--58",
 doi          = "10.1007/978-3-642-16265-7\_5",
)
@inproceedings(ABFG11a,
 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    = "Proceedings 13th International Conference on Formal Methods for Open Object-Based Distributed Systems and 31st International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE'11)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6722",
 publisher    = "Springer-Verlag",
 pages        = "44--58",
 doi          = "10.1007/978-3-642-21461-5\_3",
)
@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}",
 booktitle    = "Proceedings 15th International Software Product Line Conference (SPLC'11)",
 publisher    = "IEEE Computer Society Press",
 note         = "To appear",
)
@inproceedings(ABF+11,
 author       = "P. Asirelli and M.H. ter Beek and A. Fantechi and S. Gnesi and F. Mazzanti",
 year         = "2011",
 title        = "{Design and Validation of Variability in Product Lines}",
 booktitle    = "Proceedings ICSE 2011 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE'11)",
 publisher    = "ACM Press",
 pages        = "25--30",
 doi          = "10.1145/1985484.1985492",
)
@inproceedings(Batory,
 author       = "D.S. Batory",
 year         = "2005",
 title        = "Feature models, grammars, and propositional formulas",
 editor       = "J. Obbink and K. Pohl",
 booktitle    = "Proceedings International Software Product Line Conference (SPLC'05)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3714",
 publisher    = "Springer-Verlag",
 pages        = "7--20",
 doi          = "10.1007/11554844\_3",
)
@article(BG08,
 author       = "O. Bubak and H. Gomaa",
 year         = "2008",
 title        = "Applying software product line concepts in service orientation",
 journal      = "International Journal of Intelligent Information and Database Systems",
 volume       = "2",
 number       = "4",
 pages        = "383--396",
 doi          = "10.1504/IJIIDS.2008.021444",
)
@proceedings(SOAPL07,
 editor       = "S.G. Cohen and R.W. Krut",
 year         = "2008",
 title        = "Proceedings 1st Workshop on Service-Oriented Architectures and Software Product Lines: What is the Connection? (SOAPL'07)",
 series       = "Technical Report CMU/SEI-2008-SR-006, Carnegie Mellon University",
 note         = "\url {http://www.sei.cmu.edu/reports/08sr006.pdf}",
)
@book(Czarnecki,
 author       = "K. Czarnecki and U. Eisenecker",
 year         = "2000",
 title        = "Generative Programming: Methods, Tools, and Applications",
 publisher    = "Addison-Wesley",
)
@inproceedings(SPLC08,
 author       = "A. Fantechi and S. Gnesi",
 year         = "2008",
 title        = "{Formal Modeling for Product Families Engineering}",
 booktitle    = "Proceedings 12th International Software Product Line Conference (SPLC'08)",
 publisher    = "IEEE Computer Society Press",
 pages        = "193--202",
 doi          = "10.1109/SPLC.2008.45",
)
@misc(Cisco,
 author       = "C. Feisst and D. Schlesinger and W. Frye",
 year         = "2008",
 title        = "{Smart Grid: The Role of Electricity Infrastructure in Reducing Greenhouse Gas Emissions}",
 howpublished = "\url {http://www.cisco.com/web/about/ac79/docs/wp/Utility_Smart_Grid_WP_REV1031_FINAL.pdf}",
)
@incollection(LMTS,
 author       = "D. Fischbein and V.A. Braberman and S. Uchitel",
 year         = "2009",
 title        = "{A Sound Observational Semantics for Modal Transition Systems}",
 editor       = "M. Leucker and C. Morgan",
 booktitle    = "Proceedings 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09)",
 series       = "Lecture Notes in Computer Science",
 volume       = "5684",
 publisher    = "Springer-Verlag",
 pages        = "215--230",
 doi          = "10.1007/978-3-642-03466-4\_14",
)
@inproceedings(Uchitel,
 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    = "Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA'06)",
 publisher    = "ACM Press",
 pages        = "39--48",
 doi          = "10.1145/1147249.1147254",
)
@inproceedings(Gruler,
 author       = "A. Gruler and M. Leucker and K.D. Scheidemann",
 year         = "2008",
 title        = "{Modeling and Model Checking Software Product Lines}",
 editor       = "G. Barthe and F.S. de Boer",
 booktitle    = "Proceedings 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08)",
 series       = "Lecture Notes in Computer Science",
 volume       = "5051",
 publisher    = "Springer-Verlag",
 pages        = "113--131",
 doi          = "10.1007/978-3-540-68863-1\_8",
)
@inproceedings(GuntherB08,
 author       = "S. G{\"u}nther and T. Berger",
 year         = "2008",
 title        = "{Service-Oriented Product Lines: Towards a Development Process and Feature Management Model for Web Services}",
 booktitle    = "\cite {SOAPL08}",
 pages        = "131--136",
)
@inproceedings(Baik,
 author       = "D. Kang and D. Baik",
 year         = "2010",
 title        = "{Bridging Software Product Lines and Service-Oriented Architectures for Service Identification Using BPM and FM}",
 editor       = "T. Matsuo and N. Ishii and R. Lee",
 booktitle    = "Proceedings 9th International Conference on Computer and Information Science (ICIS'10)",
 publisher    = "IEEE Computer Society Press",
 pages        = "755--759",
 doi          = "10.1109/ICIS.2010.33",
)
@techreport(FODA,
 author       = "K.C. Kang and S.G. Cohen and J.A. Hess and W.E. Novak and A.S. Peterson",
 year         = "1990",
 title        = "Feature-Oriented Domain Analysis (FODA) Feasibility Study",
 type         = "Technical Report",
 number       = "SEI-90-TR-21",
 institution  = "Carnegie Mellon University",
 note         = "\url {http://www.sei.cmu.edu/reports/90tr021.pdf}",
)
@inproceedings(task-orch,
 author       = "D. Kitchin and W.R. Cook and J. Misra",
 year         = "2006",
 title        = "{A Language for Task Orchestration and Its Semantic Properties}",
 editor       = "C. Baier and H. Hermanns",
 booktitle    = "Proceedings 17th International Conference on Concurrency Theory (CONCUR'06)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4137",
 publisher    = "Springer-Verlag",
 pages        = "477--491",
 doi          = "10.1007/11817949\_32",
)
@inproceedings(Prog,
 author       = "D. Kitchin and A. Quark and W.R. Cook and J. Misra",
 year         = "2009",
 title        = "{The Orc Programming Language}",
 editor       = "D. Lee and A. Lopes and A. Poetzsch-Heffter",
 booktitle    = "Proceedings 11th International Conference on Formal Methods for Open Object-Based Distributed Systems and 29th International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE'09)",
 series       = "Lecture Notes in Computer Science",
 volume       = "5522",
 publisher    = "Springer-Verlag",
 pages        = "1--25",
 doi          = "10.1007/978-3-642-02138-1\_1",
)
@proceedings(SOAPL08,
 editor       = "R.W. Krut and S.G. Cohen",
 year         = "2008",
 title        = "Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL'08)",
 series       = "Lero Centre, University of Limerick",
 doi          = "10.1109/SPLC.2008.71",
)
@proceedings(SOAPL09,
 editor       = "R.W. Krut and S.G. Cohen",
 year         = "2009",
 title        = "Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL'09)",
 series       = "ACM Press",
 doi          = "10.1145/1753235.1753279",
)
@inproceedings(Larsen07,
 author       = "K.G. Larsen and U. Nyman and A. Wasowski",
 year         = "2007",
 title        = "{Modal I/O Automata for Interface and Product Line Theories}",
 editor       = "R. De Nicola",
 booktitle    = "Proceedings 16th European Symposium on Programming (ESOP'07)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4421",
 publisher    = "Springer-Verlag",
 pages        = "64--79",
 doi          = "10.1007/978-3-540-71316-6\_6",
)
@incollection(Jifeng,
 author       = "Q. Li and H. Zhu and J. He",
 year         = "2010",
 title        = "{A Denotational Semantical Model for Orc Language}",
 editor       = "A. Cavalcanti and D. Deharbe and M.-C. Gaudel and J. Woodcock",
 booktitle    = "Proceedings 7th International Colloquium on Theoretical Aspects of Computing (ICTAC'10)",
 series       = "Lecture Notes in Computer Science",
 volume       = "6255",
 publisher    = "Springer-Verlag",
 pages        = "106--120",
 doi          = "10.1007/978-3-642-14808-8\_8",
)
@article(DR,
 author       = "E.M. Lightner and S.E. Widergren",
 year         = "2010",
 title        = "{An Orderly Transition to a Transformed Electricity System}",
 journal      = "IEEE Transactions on Smart Grid",
 volume       = "1",
 number       = "1",
 pages        = "3--10",
 doi          = "10.1109/TSG.2010.2045013",
)
@misc(Maz,
 author       = "F. Mazzanti",
 title        = "FMC v5.0b",
 howpublished = "\url {http://fmt.isti.cnr.it/fmc}",
)
@article(ORC,
 author       = "J. Misra and W.R. Cook",
 year         = "2007",
 title        = "{Computation Orchestration: A Basis for Wide-area Computing}",
 journal      = "Software and Systems Modeling",
 volume       = "6",
 number       = "1",
 pages        = "83--110",
 doi          = "10.1007/s10270-006-0012-1",
)
@misc(web,
 title        = "{O}rc {P}rogramming {L}anguage",
 howpublished = "\url {http://orc.csres.utexas.edu/}",
)
@article(PT07,
 author       = "M. Papazoglou and P. Traverso and S. Dustdar and F. Leymann",
 year         = "2007",
 title        = "{Service-oriented computing: State of the art and research challenges}",
 journal      = "IEEE Computer",
 volume       = "40",
 number       = "11",
 pages        = "38--45",
 doi          = "10.1109/MC.2007.400",
)
@article(Timed,
 author       = "I. Wehrman and D. Kitchin and W.R. Cook and J. Misra",
 year         = "2008",
 title        = "{A timed semantics of Orc}",
 journal      = "Theoretical Computer Science",
 volume       = "402",
 pages        = "234--248",
 doi          = "10.1016/j.tcs.2008.04.037",
)
@misc(Wienands,
 author       = "C. Wienands",
 year         = "2006",
 title        = "{Studying the Common Problems with Service-Oriented Architecture and Software Product Lines}",
 howpublished = "Presented at 4th Service-Oriented Architecture (SOA) \& Web Services Conference",
)