1. Ajwani, D., Beckmann, A., Jacob, R., Meyer, U., Moruz, G.: On computational models for flash memory devices. In: Vahrenhold, J. (ed.) SEA 2009. LNCS, vol. 5526, pp. 16–27. Springer, Heidelberg (2009)
2. Barnett, J., Akolkar, R., Auburn, R.J., Bodell, M., Burnett, D.C., Carter, J., McGlashan, S., Lager, T.: State chart XML (SCXML): State machine notation for control abstraction. In: World Wide Web Consortium, Working Draft WD-scxml-20090507 (May 2009)
3. Butterfield, A., Freitas, L., Woodcock, J.: Mechanising a formal model of flash memory. Science of Computer Programming 74(4), 219–237 (2009), Special Issue on the Grand Challenge
4. Butterfield, A., Woodcock, J.: Formalising flash memory: First steps. In: ICECCS, pp. 251–260. IEEE Computer Society, Los Alamitos (2007)
5. Catháin, A.Ó.: Modelling flash memory device behaviour using CSP. Taught M.Sc dissertation, School of Computer Science and Statistics, Trinity College Dublin (2008), Also published as techreport TCD-CS-2008-47