Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau. Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, 2016, Linz, Austria. pp.394--408,
⟨10.1007/978-3-319-33600-8_33⟩.
⟨hal-01574901⟩