Positive real lemmas for fractional order systems | IEEE Conference Publication | IEEE Xplore