A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis | IEEE Conference Publication | IEEE Xplore