autonomic computing, formal methods, ASSL, DMARF