This paper have been removed due to plagiarism. The original appeared in Advance Computing Conference (IACC), 2010, “A Formal Framework for verification and validation of external behavioral models of Embedded Systems represented through Black Box Structures”, issue Date: 19-20 Feb. 2010, page(s): 430 – 435 http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5422902
