Timed Abstract Protocol compiler for Rust