Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems