Air Logic for Automated Systems by Rudy G. Wojtecki