DTSL code (Java-based)