Using conventional reasoning techniques for self-organising systems | IEEE Conference Publication | IEEE Xplore