?url_ver=Z39.88-2004&rft_id=10.1109%2FPOLICY.2005.38&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Rubio-Loyola%2C+Javier&rft.aufirst=Javier&rft.aulast=Rubio-Loyola&rft.btitle=Proceedings+of+the+Sixth+IEEE+International+Workshop+on+Policies+for+Distributed+Systems+and+Networks+(POLICY%E2%80%9905)&rft.date=2005&rft.title=Using+Linear+Temporal+Model+Checking+for+Goal-Oriented+Policy+Refinement+Frameworks&rft.isbn=0-7695-2265-3&rft.genre=bookitem