#include <eeros/safety/SafetyProperties.hpp>
#include <eeros/core/EEROSException.hpp>
#include <sstream>