@inproceedings{SBB+5,
title = { A Theory Agenda for Component-Based Design },
author = {Sifakis, Joseph and Bensalem, Saddek and Bliudze, Simon and Bozga, Marius},
year = {2015},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
pages = {409--439},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8950},
team = {rsd, dcs, DCS, RSD},
}
