@techreport{stoller02partitionTR, author="Scott D. Stoller", title="Domain Partitioning for Open Reactive Systems", institution="SUNY at Stony Brook, Computer Science Dept.", number="DAR-02-6", year=2002, month="February", note="Available at www.cs.sunysb.edu/\verb+~+stoller/partn.html" }