Advanced state space analysis using computer algebra | IEEE Conference Publication | IEEE Xplore