1. Ladenberger, L.: Rapid creation of interactive formal prototypes for validating safety-critical systems. Ph.D. thesis (2016)
2. Lecture Notes in Computer Science;L Ladenberger,2009
3. Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. STTT 10(2), 185–203 (2008).
https://doi.org/10.1007/s10009-007-0063-9
4. Leuschel, M., Samia, M., Bendisposto, J., Luo, L.: Easy graphical animation and formula viewing for teaching B. In: The B Method: From Research to Teaching, pp. 17–32 (2008)
5. Lecture Notes in Computer Science;T Servat,2006