Planar linkages: Structural influence on mechanical advantage and function generation
TECHNICAL PAPERS - A Genetic Algorithm for Topological Characteristics of Kinematic Chains
Topology based rating of kinematic chains and inversions using information theory
Loop based pseudo Hamming values--II. Inversions, preferred frames and actuators
Loop based pseudo Hamming values--I. Testing isomorphism and rating kinematic chains
Topological characteristics of linkage mechanisms with particular reference to platform-type robots
Applying Design Verification Tools in Automotive Software V&V
Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems
A critical analysis of model-based formal verification efforts within the automotive industry