Flordal, H.H.FlordalFabian, M.M.FabianAkesson, K.K.AkessonSpensieri, D.D.Spensieri2022-03-032022-03-032007https://publica.fraunhofer.de/handle/publica/21388010.1016/j.conengprac.2006.11.0012-s2.0-34548329303en003006519600Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cellsjournal article