Proving the Shalls: Requirements, Proofs, and Model-Based Development | IEEE Conference Publication | IEEE Xplore