EM algorithm History of engineering & technology Maude Nervos CKB Technology: general issues UPPAAL bisimulation branch coverage checkpointing coalgebra composition concurrent software systems consensus protocol cross-project prediction data-flows deep learning eventual property feature selection fuzzy automata fuzzy language generalized failure count data genetic algorithm human-error factors island-based model long short-term memory maximum likelihood estimation metamorphic relations metamorphic testing model checking model-checking