The Impact of Software Architecture on the Cost of Design, Implementation and Verification of Reliable Embedded Systems