{"identifier":"nobleid:/w1/20260524/5ABC4468","arkIdentifier":"ark:/48914/w1/20260524/5ABC4468","version":1,"workTitle":"Model-Based Development and Formal Methods in the Railway Industry","workType":"Journal Article","authors":"Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani","description":null,"workUrl":null,"existingDoi":"10.1109/ms.2013.44","createdAt":"2026-05-25T00:03:22.624950Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260524/5ABC4468.v1"}