A distributed Kalman filter with event-triggered communication and guaranteed stability. (July 2018)