A language to support verification of embedded software - Swart, Riaan (Stellenbosch : Stellenbosch University, 2012)
Thesis (MSc)--University of Stellenbosch, 2004.