R. Swart

Efficiency and decision making in on-line portal verification

P. Dunscombe, K. Leszczynski, S. Ryder, 1992 .

A language to support verification of embedded software

Riaan Swart, R. Swart, 2004 .