Automotive specification and analysis

Permanent link to this article: https://team.inria.fr/aoste/automtive-specification-ad-analysis/