XSTAMPP: An eXtensible STAMP platform as tool support for safety engineering · Study