@inproceedings {179265,
	author = {Mathias Pacher and Uwe Brinkschulte},
	title = {A Formal {Specification} of the Hormone Loop of an {Artificial} Hormone System},
	booktitle = {2013 Workshop on Embedded Self-Organizing Systems (ESOS 13)},
	year = {2013},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/esos13/workshop-program/presentation/pacher},
	publisher = {USENIX Association},
	month = jun
}
