SERC Researchers host keynotes at the First Annual MBSE-CON