RAKSHA:Reliable and Aggressive frameworK for System design using High-integrity Approaches