Semi-formal representation of requirements for automotive solutions using sysML | IEEE Conference Publication | IEEE Xplore