Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques | IEEE Conference Publication | IEEE Xplore