@inproceedings{66aeb2afd7804f9a9f18abe7fc094143,
title = "Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B",
author = "Richard Banach and Marcello Bonsangue and Yuxin Deng",
year = "2016",
month = jul,
language = "English",
editor = "Marcello Bonsangue and Yuxin Deng",
booktitle = "Proc. TASE 2016",
publisher = "IEEE",
address = "United States",
note = "The 10th International Symposium on Theoretical Aspects of Software Engineering ; Conference date: 17-07-2016 Through 19-07-2016",
}