Prototype implementation of a TPS development environment | IEEE Conference Publication | IEEE Xplore