Automatic Fault Tree Derivation from Little-JIL Process Definitions · Study