A3S Method and Tools for Analysis of Real-Time Embedded Systems