Parallel computation of symbolic robot models and control laws: theory and application on transputer networks | IEEE Conference Publication | IEEE Xplore