An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.