Singh N. K. Using Event-B for Critical Device Software Systems / by Neeraj Kumar Singh. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-1-4471-5260-6