Verification of consensus in networks of heterogeneous LTI agents | IEEE Conference Publication | IEEE Xplore