?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-35887-6_1&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Wirsing%2C+Martin&rft.aulast=Wirsing&rft.aufirst=Martin&rft.isbn=978-3-642-35887-6&rft.date=2013&rft.btitle=Formal+Methods+for+Components+and+Objects&rft.title=ASCENS%3A+engineering+autonomic+service-component+ensembles&rft.genre=bookitem