PSL as IEEE standard