Introduced the new signal plots of the assertion checks and the updated Simulink diagram.