SPRINT: a tool to generate concurrent transaction-level models from sequential code
scientific article; zbMATH DE number 5600500