User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.

Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin

Browse the full ETFA paper archive.