target_sources(${LIB_FSFW_NAME} 
	PRIVATE 
		EventCorrelation.cpp
		FailureIsolationBase.cpp
		FaultCounter.cpp
)