Constructing symbolic models for the input/output behavior of periodically time-varying systems using harmonic transfer matrices | IEEE Conference Publication | IEEE Xplore