Feature/make spec update clearer#2

PLeVasseur wants to merge 3 commits intomainPLeVasseur/safety-critical-rust-coding-guidelines:mainfrom

feature/make-spec-update-clearerPLeVasseur/safety-critical-rust-coding-guidelines:feature/make-spec-update-clearerCopy head branch name to clipboard