Verifying safety of interconnected passive systems using SOS programming | IEEE Conference Publication | IEEE Xplore