Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-simulation (BiBTeX)

@InProceedings{hoang16:_valid_requir_desig_hemod_machin,
  author = 	 {Thai Son Hoang and Colin Snook and Lukas Ladenberger and Michael Butler},
  title = 	 {Validating the Requirements and Design of a {Hemodialysis Machine} Using {iUML-B}, {BMotion Studio}, and {Co-Simulation}},
  crossref =     {butler16:_abstr_state_machin_alloy_b},
  pages = 	 {360--375},
  url = 	 {http://dx.doi.org/10.1007/978-3-319-33600-8_31}
}

@Proceedings{butler16:_abstr_state_machin_alloy_b,
  title = 	 {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - Proceedings of the 5th International Conference},
  year = 	 2016,
  booktitle = {ABZ2016},
  editor = 	 {Michael Butler and Klaus{-}Dieter Schewe and Atif Mashkoor and Mikl{\'{o}}s Bir{\'{o}}},
  volume = 	 9675,
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Linz, Austria},
  month = 	 may,
  publisher = {Springer},
  url = 	 {http://dx.doi.org/10.1007/978-3-319-33600-8}
}