Revisiting JDL model for automotive safety applications: the PF2 functional model | IEEE Conference Publication | IEEE Xplore