Test Generation for Time Critical Systems: Tool and Case Study.

Brian Nielsen, Arne Skou

Browse the full ECRTS paper archive.