1 Introduction  
2 Transform Methods for Analyzing Continuous-time Systems  
3 Transform Methods for Analyzing Discrete-time Systems  
4 Theorem Proving Support for Transform Methods Based Analysis  
5 Conclusion