Any Library for SIL rated ESD Application for ABB 800xa?

Does ABB has a library for SIL rated ESD Application for 800XA High Integrity Controller for Function Blocks with Built-in Faceplate feature and:

Analog Voting Function Block (1oo2, 2oo2, 2oo3 etc.)
Discrete Voting Function Block (1oo2, 2oo2, 2oo3 etc.)
First-out with Alarm/Event/Alert feature
Output Latch/Reset feature
Maintenance Bypass/Override with timer
Start-up Bypass/Override with timer
Cause and Effect Matrix with Override, Time Delay, First-out, Embedded pre-defined Alarm/Event features etc.

NOTE: I already know about SupervisionBasicLib but it does not above-mentioned function blocks. Also know about FireGasLib, SupervisionLib but they offer only Control Modules (while I am using Single Control Module for the project) and that is also without Faceplates. I am looking for a Library for ESD Application with Function Blocks and with built-in Faceplates.