@inproceedings{
    tripakisShaverFPS2014_stavros,
    author = "Tripakis, S. and Shaver, C.",
    publisher = "Springer",
    doi = "10.1007/978-3-642-54848-2_17",
    responsibleauthor = "Tripakis, Stavros",
    eventdetails = "ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014",
    language = "eng",
    title = "{Feedback in Synchronous Relational Interfaces}",
    url = "http://www.eecs.berkeley.edu/~stavros/papers/fps2014.pdf",
    series = "Lecture Notes in Computer Science",
    booktitle = "From Programs to Systems",
    issn = "0302-9743",
    volume = "8415",
    juforank = "1",
    il = "yes",
    isbn = "978-3-642-54847-5",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4",
    pages = "249--266"
}