Computer aided verification and diagnosis of distributed measurement systems | IEEE Conference Publication | IEEE Xplore