Modeling and scheduling of crude oil operations in refinery: a hybrid timed Petri net approach / NaiQi Wu [and others] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofiène Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali [and others] -- Development of automated systems using proved B patterns / Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li -- Emerging real-time methodologies / Giorgio C. Buttazzo -- Merging and splitting Petri net models within distributed embedded controller design / Luis Gomes [and others] -- Safety reconfiguration of embedded control systems / Atef Gharbi [and others] -- Task scheduling under uncertain timing constraints in real-time embedded systems / Pranab K. Muhuri, K.K. Shukla -- New optimal solutions for real-time reconfigurable periodic asynchronous OS tasks with minimizations of response times / Hamza Gharsellaoui [and others] -- Task migration in embedded systems: design and performance / Abderrazak Jemai, Kamel Smiri, Habib Smei -- Wireless IEEE 802.11-based networking approaches for industrial networked systems / Ricardo Moraes, Francisco Vasques -- Hardware/software implementation for wireless sensor network applications / Mohamed Wassim Jmal [and others] -- Hybrid FlexRay/CAN automotive networks / Rodrigo Lange, Rômulo Silva de Oliveira -- Emerging technologies for industrial wireless sensor networks / Ivanovitch Silva, Luiz Affonso Guedes, Paulo Portugal -- Numerical simulation of distributed dynamic systems using hybrid tools of intelligent computing / Fethi H. Bellamine, Aymen Gdouda -- Multi-core embedded systems / Ricardo Chessini Bose [and others] -- Securing embedded computing systems through elliptic curve cryptography / Elisavet Konstantinou [and others] -- Security and cryptographic engineering in embedded systems / Apostolos P. Fournaris, Paris Kitsos, Nicolas Sklavos -- Flash-based storage in embedded systems / Pierre Olivier, Jalil Boukhobza, Eric Senn -- EAST-ADL: an architecture description language for automotive software-intensive systems / Hans Blom [and others].