Knowledge-based support of system analysis for the analysis of Failure modes and effects · Study