Derivation of diagnostic models based on formalized process knowledge - Arroyo,E; Schulze,D; Christiansen,L; Fay,A; Thornhill,NF (International Federation of Automatic Control, 2014)