Beyond image-finiteness: labelled transition systems as a Stone space | IEEE Conference Publication | IEEE Xplore