Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur, Shin Nakajima, Dominique Méry · First published 2020Open the Tome
Cyber-Physical System Design from an Architecture Analysis ViewpointShin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu · First published 2017 · Latest edition 2018Open the Tome
