Geometric Relations Between Rigid Bodies (Part 2): From Semantics to Software | IEEE Journals & Magazine | IEEE Xplore