@article{DBLP:journals/tecs/AdlerSTP10,
  author       = {Rasmus Adler and
                  Ina Schaefer and
                  Mario Trapp and
                  Arnd Poetzsch{-}Heffter},
  title        = {Component-based modeling and verification of dynamic adaptation in
                  safety-critical embedded systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {20:1--20:39},
  year         = {2010},
  url          = {https://doi.org/10.1145/1880050.1880056},
  doi          = {10.1145/1880050.1880056},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/AdlerSTP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KBzZC3jFNqeo5mTo3","bibbaseid":"adler-schaefer-trapp-poetzschheffter-componentbasedmodelingandverificationofdynamicadaptationinsafetycriticalembeddedsystems-2010","author_short":["Adler, R.","Schaefer, I.","Trapp, M.","Poetzsch-Heffter, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rasmus"],"propositions":[],"lastnames":["Adler"],"suffixes":[]},{"firstnames":["Ina"],"propositions":[],"lastnames":["Schaefer"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Trapp"],"suffixes":[]},{"firstnames":["Arnd"],"propositions":[],"lastnames":["Poetzsch-Heffter"],"suffixes":[]}],"title":"Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems","journal":"ACM Trans. Embed. Comput. Syst.","volume":"10","number":"2","pages":"20:1–20:39","year":"2010","url":"https://doi.org/10.1145/1880050.1880056","doi":"10.1145/1880050.1880056","timestamp":"Tue, 08 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tecs/AdlerSTP10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tecs/AdlerSTP10,\n author = {Rasmus Adler and\n Ina Schaefer and\n Mario Trapp and\n Arnd Poetzsch{-}Heffter},\n title = {Component-based modeling and verification of dynamic adaptation in\n safety-critical embedded systems},\n journal = {{ACM} Trans. Embed. Comput. Syst.},\n volume = {10},\n number = {2},\n pages = {20:1--20:39},\n year = {2010},\n url = {https://doi.org/10.1145/1880050.1880056},\n doi = {10.1145/1880050.1880056},\n timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tecs/AdlerSTP10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Adler, R.","Schaefer, I.","Trapp, M.","Poetzsch-Heffter, A."],"key":"DBLP:journals/tecs/AdlerSTP10","id":"DBLP:journals/tecs/AdlerSTP10","bibbaseid":"adler-schaefer-trapp-poetzschheffter-componentbasedmodelingandverificationofdynamicadaptationinsafetycriticalembeddedsystems-2010","role":"author","urls":{"Paper":"https://doi.org/10.1145/1880050.1880056"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/03/4484.bib","dataSources":["NvDEoQDuau7xD4K6P"],"keywords":[],"search_terms":["component","based","modeling","verification","dynamic","adaptation","safety","critical","embedded","systems","adler","schaefer","trapp","poetzsch-heffter"],"title":"Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems","year":2010}