Documentation on software products of the Supervisor family