Z. Wang, G. Pu, S. Qin, J. Li, K. Larsen, J. Madsen, B. Gu and J. He | MDM: A Mode Diagram Modeling Framework for Periodic Control Systems |

A. Champion, R. Delmas and M. Dierkes | Generating Property Directed Potential Invariants By Backward Analysis |

A. Campetelli and M. Spichkova | Towards system development methodologies: From software to cyber-physical domain |

J. Suryadevara and L. Yin | Timed Automata Modeling of CCSL Constraints |

M. Wang and Y. Lu | A Timed Calculus for Mobile Ad Hoc Networks |

S. Shaikh and P. Krishnan | A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles |

K. Bae, J. Krisiloff, J. Meseguer and P. Olveczky | PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude |

P. Hui and S. Chikkagoudar | Formal Verification of Temporal Properties In Real-Time Parallel Computation |

M. Mahmoud, V. Aravantinos and S. Tahar | Towards the Formal Verification of Quantum Optical Systems |

M. Matsubara, K. Sakurai, F. Narisawa, M. Enshoiwa, Y. Yamane and H. Yamanaka | Model Checking with Program Slicing Based on Variable Dependence Graph |

C. Wang | Formal Model-Driven Engineering: Generating Data and Behavioural Components |

M. Park, T. Byun and Y. Choi | Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems |