Event-triggered real-time scheduling for stabilization of passive and output feedback passive systems | IEEE Conference Publication | IEEE Xplore