{"id":"3251087","title":"Probabilistic model checking for energy analysis in software product lines","pdf":"https://dl.acm.org/ft_gateway.cfm?id=2577095&ftid=1459445&dwn=1&CFID=20133080&CFTOKEN=5c802006089b9465-6E1CE494-DC2E-DF9A-004CF88CCF1B6401","authors":[{"type":"author_page","name":"Clemens Dubslaff","id":"81498658414","affiliation":{"type":"inst_page","name":"Technische Universität Dresden, Dresden, Germany","id":"60018353"}},{"type":"author_page","name":"Sascha Klüppelholz","id":"81435600331","affiliation":{"type":"inst_page","name":"Technische Universität Dresden, Dresden, Germany","id":"60018353"}},{"type":"author_page","name":"Christel Baier","id":"81100508111","affiliation":{"type":"inst_page","name":"Technische Universität Dresden, Dresden, Germany","id":"60018353"}}],"publisher":{"text":"MODULARITY '14 Proceedings of the 13th international conference on Modularity","details":"Pages 169-180\nLugano, Switzerland — April 22 - 26, 2014\n \nACM New York, NY, USA  ©2014\ntable of contents\nISBN: 978-1-4503-2772-5\ndoi>10.1145/2577080.2577095"}}