Verification Approach of Metropolis Design Framework for Embedded Systems