Element 'verification of embedded software'