@inbook{deDios14, author = "Miguel A. Garcia de Dios and Carolina Dania and David Basin and Manuel Clavel", chapter = "4", note = "partners: IMDEA, ETH, projects: NESSoS, no tier, to appear (citations: 0)", publisher = "Springer Berlin / Heidelberg Berlin / Heidelberg", series = "LNCS", title = "{M}odel-driven {D}evelopment of a {S}ecure e{H}ealth {A}pplication", volume = "8431", year = "2014", }