Analysis, Architectures and Modelling of Embedded Systems