Parallel Bounded Verification of Alloy Models by TranScoping \textbar SpringerLink Other