Logical Time @ Work for the Modeling and Analysis of Embedded Systems