Title: Avionic Systems Design, Author: JohnR. Newport
Title: Formal Methods for Multi-Agent Feedback Control Systems, Author: Lars Lindemann