Somewhere between 1995 and 2000, I was sent to teach a pSOS+ class to Westinghouse engineers in Savannah, Georgia.
Once upon a time, there were three RTOSes named VRTX, pSOS and VxWorks.