<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>J. Treloar | IsPri UNSW</title><link>https://ispri-unsw.pages.dev/author/j.-treloar/</link><atom:link href="https://ispri-unsw.pages.dev/author/j.-treloar/index.xml" rel="self" type="application/rss+xml"/><description>J. Treloar</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Wed, 01 Jan 2025 00:00:00 +0000</lastBuildDate><image><url>https://ispri-unsw.pages.dev/media/icon_hu_65667889a57295f.png</url><title>J. Treloar</title><link>https://ispri-unsw.pages.dev/author/j.-treloar/</link></image><item><title>High-Fidelity Specification of Real-World Devices</title><link>https://ispri-unsw.pages.dev/filtered_publication/doi-3764860-3768335/</link><pubDate>Wed, 01 Jan 2025 00:00:00 +0000</pubDate><guid>https://ispri-unsw.pages.dev/filtered_publication/doi-3764860-3768335/</guid><description/></item><item><title>High-Fidelity Specification of Real-World Devices</title><link>https://ispri-unsw.pages.dev/publication/doi-3764860-3768335/</link><pubDate>Wed, 01 Jan 2025 00:00:00 +0000</pubDate><guid>https://ispri-unsw.pages.dev/publication/doi-3764860-3768335/</guid><description/></item></channel></rss>