Using Sysml to Describe a New Methodology for Semiautomatic Software Generation from Inferred Behavioral and Data Models | IEEE Conference Publication | IEEE Xplore