Process and Design Safety Requirements Specifications implementation in exSILentia