Static Analysis of SystemC/SystemC-AMS System and Architectural Level Models