Logical acquisition and analysis with Magnet AXIOM