Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset (BiBTeX)

@Article{hoang17:_valid_verif_requir_desig_haemod,
  author = 	 {Thai Son Hoang and Colin Snook and Asieh Salehi and Michael Butler and Lukas Ladenberger},
  title = 	 {Validating and Verifying the Requirements and Design of a Haemodialysis Machine using the {Rodin} Toolset},
  journal = 	 {Science of Computer Programming},
  year = 	 2017,
  month = 	 nov,
  doi = 	 {10.1016/j.scico.2017.11.002},
  publisher =    {Elsevier},
  url = 	 {http://dx.doi.org/10.1016/j.scico.2017.11.002},
  note = 	 {Available at \url{http://dx.doi.org/10.1016/j.scico.2017.11.002}}
}