% kjt.bib	K. J. Turner (kjt at cs.stir.ac.uk)	18/02/10

% This is a list of BibTeX references for publications by Ken Turner

@TechReport{Ambler-Barrow-Brown-Burstall-Turner-1973a,
  author="A. Patricia Ambler and Harold G. Barrow and Christopher M. Brown and
    Roderick M. Burstall and Kenneth J. Turner",
  title="A Versatile Computer-Controlled Assembly System",
  month=aug,
  year="1973",
  number="EPR-29",
  institution="University of Edinburgh",
  address="UK",
  cvcp="06",
  hefc="03",
}

@InProceedings{Ambler-Barrow-Brown-Burstall-Turner-1973b,
  author="A. Patricia Ambler and Harold G. Barrow and Christopher M. Brown and
    Roderick M. Burstall and Kenneth J. Turner",
  title="A Versatile Computer-Controlled Assembly System",
  booktitle="Proc.\ 3rd.\ International Joint Conf. on Artificial
    Intelligence",
  pages="298--307",
  organization="Stanford University",
  year="1973",
  cvcp="04",
  hefc="04",
}

@TechReport{ArgulMarin-Turner-2000,
  address=ST-Ad,
  institution=ST,
  number="CSM-155",
  title="Extending Hardware Description in {SDL}",
  author="F. Javier {Argul Marin} and Kenneth J. Turner",
  month=feb,
  year="2000",
  cvcp="06",
  hefc="03",
}

@InCollection{Blair-Turner-2005,
  author="Lynne Blair and Kenneth J. Turner",
  title="Handling Policy Conflicts in Call Control",
  pages="39--57",
  booktitle=ICFI-VIII,
  editor=ICFI-VIII-Ed,
  month=jun,
  year="2005",
  publisher=IOS,
  address=IOS-Ad,
  ISBN="1-58603-524-X",
  cvcp="07",
  hefc="03",
}

@Article{Bolognesi-Brinksma-Turner-1988,
  author="Tommaso Bolognesi and Ed Brinksma and Kenneth J. Turner",
  title="Introduction to the {ISO} Specification Language \textsc{Lotos}",
  journal="Computer Networks and ISDN Systems",
  volume="14",
  number="1",
  pages="55--57",
  publisher="North-Holland",
  address="Amsterdam",
  month=jan,
  year="1988",
  cvcp="11",
  hefc="07",
}

@Article{Booth-Turner-Jones-1992,
  author="Robert E. Booth and Kenneth J. Turner and Valerie M. Jones",
  title="Formal Methods for Communications System Development ~-- {The} {\sc
    Esprit} Project \textsc{LotoSphere}",
  journal="British Telecom Technology Journal",
  volume="10",
  number="2",
  month=apr,
  year="1992",
  pages="28--38",
  cvcp="11",
  hefc="07",
}

@InProceedings{Campbell-Turner-2007a,
  author="Gavin A. Campbell and Kenneth J. Turner",
  title="Policy Conflict Filtering for Call Control",
  booktitle=ICFI-IX,
  editor=ICFI-IX-Ed,
  pages="93--108",
  month=sep,
  year="2007",
  publisher="IMAG Laboratory, University of Grenoble",
  address="France",
  cvcp="07",
  hefc="03",
}

@InCollection{Campbell-Turner-2007b,
  author="Gavin A. Campbell and Kenneth J. Turner",
  title="Ontologies to support Call Control Policies",
  booktitle=AICT-03,
  editor=AICT-03-Ed,
  month=may,
  year="2007",
  pages="5.1--5.6",
  publisher=IEEE,
  address=IEEE-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Campbell-Turner-2008a,
  author="Gavin A. Campbell and Kenneth J. Turner",
  title="Policy Conflict Filtering for Call Control",
  editor=ICFI-IX-Ed,
  booktitle=ICFI-IX,
  month=may,
  year="2008",
  pages="83--98",
  publisher=IOS,
  address=IOS-Ad,
  ISBN="978-1-58603-845-8",
  cvcp="07",
  hefc="03",
}

@InCollection{Campbell-Turner-2008b,
  author="Gavin A. Campbell and Kenneth J. Turner",
  title="Goals and Policies for Sensor Network Management",
  booktitle=SENSORCOMM-2,
  editor=SENSORCOMM-2-Ed,
  pages="354--359",
  month=aug,
  year="2008",
  publisher=IEEE,
  address=IEEE-Ad,
  cvcp="07",
  hefc="03",
}

@InProceedings{Csopaki-Turner-1997,
  author="Gyula Csopaki and Kenneth J. Turner",
  title="Modelling Digital Logic in {SDL}",
  pages="367--382",
  booktitle=FORTE-X-PSTV-XVII,
  editor=FORTE-X-PSTV-XVII-Ed,
  publisher=CH,
  address=CH-Ad,
  month=nov,
  year="1997",
  cvcp="07",
  hefc="03",
}

@InProceedings{Donaldson-Turner-1994,
  author="A. John M. Donaldson and Kenneth J. Turner",
  title="Formal Specification of {QoS} Properties",
  editor="Jan {de Meer} and Gregor {von Bochmann} and Andreas Vogel",
  pages="1--14",
  booktitle="Proc.\ Workshop on Distributed Multimedia Applications and QoS
    Verification",
  publisher="CRIM",
  address="Montr\'eal, Canada",
  month=jun,
  year="1994",
  cvcp="04",
  hefc="04",
}

@TechReport{Gray-McBryan-Hine-Martin-Gil-Wolters-Mayo-Turner-Docherty-Wang-Kolberg-2007,
  author="Philip D. Gray and Tony McBryan and Nick Hine and Chris J. Martin
    and Nubia Gil and Maria Wolters and Neil Mayo and Kenneth J. Turner and Liam
    S. Docherty and Feng Wang and Mario Kolberg",
  address=ST-Ad,
  institution=ST,
  number="CSM-173",
  title="A Scalable Home Care System Infrastructure Supporting Domiciliary
    Care",
  month=aug,
  year="2007",
  cvcp="06",
  hefc="03",
}

@Article{Huang-Turner-2005,
  author="Tingxue Huang and Kenneth J. Turner",
  title="Policy Support for {H}.323 Call Handling",
  journal=CSI,
  publisher=ES,
  address=ES-Ad,
  month=nov,
  year="2005",
  volume="28",
  number="2",
  pages="204--217",
  cvcp="11",
  hefc="07",
}

@TechReport{Ji-Turner-1997a,
  address=ST-Ad,
  institution=ST,
  number="CSM-173",
  title="Extended \textsc{Dill}: Digital Logic with \textsc{Lotos}",
  author="{Ji He} and Kenneth J. Turner",
  month=nov,
  year="1997",
  cvcp="06",
  hefc="03",
}

@TechReport{Ji-Turner-1998b,
  address=ST-Ad,
  institution=ST,
  number="CSM-145",
  title="Timed \textsc{Dill}: Digital Logic with \textsc{Lotos}",
  author="{Ji He} and Kenneth J. Turner",
  month=apr,
  year="1998",
  cvcp="06",
  hefc="03",
}

@TechReport{Ji-Turner-1999a,
  address=ST-Ad,
  institution=ST,
  number="CSM-152",
  title="Modelling and Verifying Synchronous Circuits in \textsc{Dill}",
  author="{Ji He} and Kenneth J. Turner",
  month=apr,
  year="1999",
  cvcp="06",
  hefc="03",
}

@InProceedings{Ji-Turner-1999b,
  author="{Ji He} and Kenneth J. Turner",
  title="Protocol-Inspired Hardware Testing",
  booktitle=IWTCS-XII,
  editor=IWTCS-XII-Ed,
  pages="131--147",
  publisher=KL,
  address=KL-Ad,
  month=sep,
  year="1999",
  cvcp="07",
  hefc="03",
}

@InProceedings{Ji-Turner-1999c,
  author="{Ji He} and Kenneth J. Turner",
  title="Specification and Verification of Synchronous Hardware using {\sc
    Lotos}",
  booktitle=FORTE-XII-PSTV-XIX,
  editor=FORTE-XII-PSTV-XIX-Ed,
  pages="295--312",
  publisher=KL,
  address=KL-Ad,
  month=oct,
  year="1999",
  ISBN="0-7923-8646-9",
  cvcp="07",
  hefc="03",
}

@InProceedings{Ji-Turner-2000a,
  author="{Ji He} and Kenneth J. Turner",
  title="Verifying and Testing Asynchronous Circuits using \textsc{Lotos}",
  booktitle=FORTE-XIII-PSTV-XX,
  editor=FORTE-XIII-PSTV-XX-Ed,
  pages="267--283",
  publisher=KL,
  address=KL-Ad,
  month=oct,
  year="2000",
  cvcp="07",
  hefc="03",
}

@Misc{Ji-Turner-2000b,
  author="{Ji He} and Kenneth J. Turner",
  title="\textsc{Dill} ({Digital Logic} in \textsc{Lotos}) Project",
  howpublished="\kjt{software/lotos/dill.html}",
  month=nov,
  year="2000",
  cvcp="19",
  hefc="12",
}

@InCollection{Ji-Turner-2001,
  author="{Ji He} and Kenneth J. Turner",
  title="Specifying Hardware Timing with \textsc{ET-Lotos}",
  booktitle=CHARME-11,
  editor=CHARME-11-Ed,
  number="2144",
  series=LNCS,
  pages="161--166",
  publisher=SV,
  address=SV-Ad,
  month=sep,
  year="2001",
  cvcp="07",
  hefc="03",
}

@InProceedings{Kosmas-Turner-1997,
  author="Nikolaos Kosmas and Kenneth J. Turner",
  title="Requirements for Service Creation Environments",
  editor="Ignac Lovrek",
  pages="133--137",
  booktitle=CONTEL-4,
  publisher="University of Zagreb",
  address="Croatia",
  month=jun,
  year="1997",
  ISBN="953-18-4004-0",
  cvcp="04",
  hefc="04",
}

@InProceedings{Lambert-Blum-Bowes-Gayle-Jones-Sinnott-Tan-Turner-Warner-2009,
  author="Paul S. Lambert and Jesse M. Blum and Alison Bowes and Vernon Gayle
    and Simon B. Jones and Richard O. Sinnott and Koon Leai Larry Tan and
    Kenneth J. Turner and Guy C. Warner",
  title="Standards Setting when standardizing Categorical Data",
  booktitle="Proc.\ 3rd.\ International Conference on e-Social Science",
  month=jun,
  year="2009",
  publisher="National Centre for e-Social Science",
  address="Manchester, UK",
  cvcp="04",
  hefc="04",
}

@InProceedings{Lambert-Tan-Turner-Gayle-Prandy-Sinnott-2006,
  author="Paul S. Lambert and Koon Leai Larry Tan and Kenneth J. Turner and
    Vernon Gayle and Ken Prandy and Richard O. Sinnott",
  title="Development of a Grid Enabled Occupational Data Environment",
  pages="1--12",
  booktitle="Proc.\ 2nd.\ International Conference on e-Social Science",
  editor="Rob Procter",
  month=jun,
  year="2006",
  publisher="National Centre for e-Social Science",
  address="Manchester, UK",
  cvcp="04",
  hefc="04",
}

@Article{Lambert-Tan-Turner-Gayle-Prandy-Sinnott-2007,
  author="Paul S. Lambert and Koon Leai Larry Tan and Kenneth J. Turner and
    Vernon Gayle and Ken Prandy and Richard Sinnott",
  title="Data Curation Standards and Social Science Occupational Information
    Resources",
  journal="Int.\ J.\ of Digital Curation",
  volume="2",
  number="1",
  pages="73--91",
  month=jul,
  year="2007",
  cvcp="11",
  hefc="07",
}

@InProceedings{Layouni-Logrippo-Turner-2007,
  author="Ahmed F. Layouni and Luigi Logrippo and Kenneth J. Turner",
  title="Conflict Detection in Call Control using First-Order Logic Model
    Checking",
  booktitle=ICFI-IX,
  editor=ICFI-IX-Ed,
  pages="77--92",
  month=sep,
  year="2007",
  publisher="IMAG Laboratory, University of Grenoble",
  address="France",
  cvcp="07",
  hefc="03",
}

@InCollection{Layouni-Logrippo-Turner-2008,
  author="Ahmed F. Layouni and Luigi Logrippo and Kenneth J. Turner",
  title="Conflict Detection in Call Control using First-Order Logic Model
    Checking",
  editor=ICFI-IX-Ed,
  booktitle=ICFI-IX,
  month=may,
  year="2008",
  pages="66--82",
  publisher=IOS,
  address=IOS-Ad,
  ISBN="978-1-58603-845-8",
  cvcp="07",
  hefc="03",
}

@InCollection{Magill-2004,
  author="Evan H. Magill",
  title="Feature Interaction: {Old} Hat or Deadly New Menace?",
  editor=COMMSERV-Ed,
  booktitle=COMMSERV,
  month=apr,
  year="2004",
  pages="235--252",
  publisher=JW,
  address=JW-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Marples-Turner-Magill-2004,
  author="David J. Marples and Kenneth J. Turner and Evan H. Magill",
  title="Service Provision~-- Prospects",
  editor=COMMSERV-Ed,
  booktitle=COMMSERV,
  month=apr,
  year="2004",
  pages="301--313",
  publisher=JW,
  address=JW-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Maternaghan-Turner-2010,
  author="Claire Maternaghan and Kenneth J. Turner",
  title="A Component Framework for Telecare and Home Automation",
  booktitle=CCNC-7,
  editor=CCNC-7-Ed,
  month=jan,
  year="2010",
  pages="N4.1--N4.5",
  publisher=IEEE-CS,
  address=IEEE-CS-Ad,
  ISBN="978-1-4244-5176-0",
  cvcp="07",
  hefc="03",
}

@InProceedings{Miloucheva-Simeonov-Rebensburg-Turner-Donaldson-1994,
  author="Ilka Miloucheva and Plamen L. Simeonov and Klaus Rebensburg and
    Kenneth J. Turner and A. John M. Donaldson",
  title="Prototype Performance Evaluation of Multimedia Service Components",
  pages="1--8",
  publisher=ES,
  address=ES-Ad,
  booktitle="Proc.\ 3rd.\ International Conference on Computer Communications
    and Networks",
  month=sep,
  year="1994",
  cvcp="07",
  hefc="03",
}

@InProceedings{Reed-Turner-1997a,
  author="Daren A. Reed and Kenneth J. Turner",
  title="Support Components for Quality of Service in Distributed
    Environments: {Monitoring} Service",
  booktitle="Proc.\ 5th International Workshop on Quality of Service",
  editor="Andrew Campbell and Klara Nahrstedt",
  pages="255--258",
  publisher="Columbia University",
  address="New York, USA",
  month=may,
  year="1997",
  cvcp="04",
  hefc="04",
}

@InCollection{ReiffMarganiec-Turner-2002,
  author="Stephan Reiff-Marganiec and Kenneth J. Turner",
  title="Use of Logic to describe Enhanced Communications Services",
  editor=FORTE-XV-Ed,
  booktitle=FORTE-XV,
  month=nov,
  year="2002",
  series=LNCS,
  number="2529",
  pages="130--145",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{ReiffMarganiec-Turner-2003,
  author="Stephan Reiff-Marganiec and Kenneth J. Turner",
  title="A Policy Architecture for Enhancing and Controlling Features",
  editor=FIW-VII-Ed,
  booktitle=FIW-VII,
  month=jun,
  year="2003",
  pages="239--246",
  publisher=IOS,
  address=IOS-Ad,
  cvcp="07",
  hefc="03",
  ISBN="1-58603-348-4",
}

@Article{ReiffMarganiec-Turner-2004a,
  author="Stephan Reiff-Marganiec and Kenneth J. Turner",
  title="Feature Interaction in Policies",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  month=aug,
  year="2004",
  volume="45",
  number="5",
  pages="569--584",
  cvcp="11",
  hefc="07",
}

@TechReport{ReiffMarganiec-Turner-Wang-2009,
  author="Stephan Reiff-Marganiec and Kenneth J. Turner and Feng Wang",
  address=ST-Ad,
  institution=ST,
  number="CSM-164",
  title="The \textsc{Accent} Policy Server",
  month=apr,
  year="2009",
  cvcp="06",
  hefc="03",
}

@TechReport{Sighireanu-Turner-1998,
  title="Requirement Capture, Formal Description and Verification of an
    Invoicing System",
  author="Mihaela Sighireanu and Kenneth J. Turner",
  institution="Institut National de Recherche en Informatique et Automatique",
  address="Le Chesnay, France",
  number="RR-3575",
  month=dec,
  year="1998",
  cvcp="06",
  hefc="03",
}

@TechReport{Sinnott-Turner-1994a,
  address=ST-Ad,
  institution=ST,
  number="CSM-121",
  title="The Development of An Architectural Semantics for {ODP}",
  author="Richard O. Sinnott and Kenneth J. Turner",
  month=mar,
  year="1994",
  cvcp="06",
  hefc="03",
}

@InProceedings{Sinnott-Turner-1994b,
  title="Modelling {ODP} Viewpoints",
  author="Richard O. Sinnott and Kenneth J. Turner",
  pages="121--128",
  month=oct,
  year="1994",
  booktitle="Proc.\ OOPSLA '94 Workshop on Precise Behavioural Specifications
    in OO Information Modelling",
  editor="B. Cameron and C. Geldrez and A. Hopley and D. Howes and B. Mirek
    and M. Plucinska",
  address="Portland, Oregon, USA",
  cvcp="04",
  hefc="04",
}

@TechReport{Sinnott-Turner-1994c,
  address=ST-Ad,
  institution=ST,
  number="CSM-122",
  title="The Specification of {A} Type Management System in \textsc{Lotos}",
  author="Richard O. Sinnott and Kenneth J. Turner",
  year="1994",
  cvcp="06",
  hefc="03",
}

@Article{Sinnott-Turner-1995,
  title="Applying Formal Methods to Standard Development: {The} {Open
    Distributed Processing} Experience",
  author="Richard O. Sinnott and Kenneth J. Turner",
  month=oct,
  year="1995",
  journal="Computer Standards and Interfaces",
  publisher=ES,
  address=ES-Ad,
  volume="17",
  pages="615--630",
  cvcp="11",
  hefc="07",
}

@InProceedings{Sinnott-Turner-1996b,
  title="Specifying Multimedia Binding Objects in {Z}",
  author="Richard O. Sinnott and Kenneth J. Turner",
  month=oct,
  year="1996",
  booktitle="Proc.\ Workshop on Trends in Distributed Systems",
  address="Aachen, Germany",
  cvcp="04",
  hefc="04",
}

@Article{Sinnott-Turner-1997a,
  author="Richard O. Sinnott and Kenneth J. Turner",
  title="Applying the Architectural Semantics of {ODP} to develop a Trader
    Specification",
  month=mar,
  year="1997",
  volume="29",
  number="4",
  pages="457--471",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  cvcp="11",
  hefc="07",
}

@InCollection{Sinnott-Turner-1997b,
  title="Type Checking in Open Distributed Systems: {A} Complete Model and its
    {Z} Specification",
  author="Richard O. Sinnott and Kenneth J. Turner",
  month=may,
  year="1997",
  booktitle="Open Distributed Processing and Distributed Platforms",
  editor="Jerome Rolia and Jacob Slonim and John Botsford",
  publisher=CH,
  address=CH-Ad,
  pages="85--96",
  ISBN="0-412-81230-4",
  cvcp="07",
  hefc="03",
}

@InCollection{Sinnott-Turner-1997c,
  title="Specifying {ODP} Computational Objects in {Z}",
  author="Richard O. Sinnott and Kenneth J. Turner",
  pages="375--390",
  year="1997",
  booktitle="Proc.\ Formal Methods for Open Object-Based Distributed Systems
    '96",
  editor="Elie Najm and Jean-Bernard Stefani",
  publisher=CH,
  address=CH-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Tan-Gayle-Lambert-Sinnott-Turner-2006,
  author="Koon Leai Larry Tan and Vernon Gayle and Paul S. Lambert and Richard
    O. Sinnott and Kenneth J. Turner",
  title="{GEODE} – {Sharing} Occupational Data Through The Grid",
  editor="Simon J. Cox",
  booktitle="Proc.\ 5th.\ UK e-Science All Hands Meeting",
  publisher="National e-Science Centre",
  address="Edinburgh",
  pages="534--541",
  month=sep,
  year="2006",
  ISBN="0-9553988-0-0",
  cvcp="04",
  hefc="04",
}

@InProceedings{Tan-Lambert-Gayle-Turner-2007,
  author="Koon Leai Larry Tan and Paul S. Lambert and Vernon Gayle and Kenneth
    J. Turner",
  title="Enabling Quantitative Data Analysis on Cyberinfrastructures and
    Grids",
  editor="Gary Olson and Rob Procter",
  booktitle="Proc. Int.\ Conf.\ on e-Social Science",
  publisher="ESRC and NSF",
  address="Ann Arbor, Michigan, USA",
  pages="III.20--III.31",
  month=oct,
  year="2007",
  cvcp="04",
  hefc="04",
}

@InCollection{Tan-Turner-2006,
  author="Koon Leai Larry Tan and Kenneth J. Turner",
  title="Orchestrating Grid Services using {BPEL} and {Globus Toolkit} 4",
  pages="31--36",
  booktitle="Proc.\ 7th PGNet Symposium",
  editor="Madjid Merabti and Rubem Pereira and Carol Oliver and Omar
    Abuelma'atti",
  month=jun,
  year="2006",
  publisher="School of Computing, Liverpool John Moores University",
  address="Liverpool, UK",
  cvcp="07",
  hefc="03",
}

@InCollection{Tan-Turner-2007,
  author="Koon Leai Larry Tan and Kenneth J. Turner",
  title="Automated Analysis and Implementation of Composed Grid Services",
  pages="51--64",
  booktitle=SEEFM-3,
  editor=SEEFM-3-Ed,
  month=nov,
  year="2007",
  publisher="South-East European Reseach Centre",
  address="Thessaloniki, Greece",
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-1971a,
  author="Kenneth J. Turner",
  title="Scene Analysis and Object Recognition~--- {A} Survey",
  institution="University of Edinburgh",
  address="Department of Machine Intelligence",
  number="21",
  pages="1--45",
  month=jul,
  year="1971",
  cvcp="06",
  hefc="03",
}

@TechReport{Turner-1971b,
  author="Kenneth J. Turner",
  title="A Complete Analysis of the {L}-Game",
  month=jan,
  year="1971",
  institution="University of Edinburgh",
  address="Edinburgh, UK",
  cvcp="06",
  hefc="03",
}

@TechReport{Turner-1971c,
  author="Kenneth J. Turner",
  title="Object Recognition Tests on the Mark 1.5 Robot",
  institution="University of Edinburgh",
  address="Department of Machine Intelligence",
  number="MIP-R-92",
  pages="1--23",
  month=dec,
  year="1971",
  cvcp="06",
  hefc="03",
}

@PhdThesis{Turner-1974a,
  author="Kenneth J. Turner",
  title="Computer Perception of Curved Objects",
  month=mar,
  year="1974",
  school="Department of Machine Intelligence, University of Edinburgh",
  address="UK",
  cvcp="17",
  hefc="11",
}

@TechReport{Turner-1974b,
  author="Kenneth J. Turner",
  title="Computer Perception of Curved Objects using a Television Camera",
  institution="University of Edinburgh",
  address="Department of Machine Intelligence",
  number="65",
  pages="1--311",
  month=apr,
  year="1974",
  cvcp="06",
  hefc="03",
}

@InProceedings{Turner-1974c,
  author="Kenneth J. Turner",
  title="Computer Perception of Curved Objects",
  booktitle="Proc.\ Conf. on Artificial Intelligence and Simulation of
    Behaviour",
  pages="1--10",
  month=jun,
  year="1974",
  cvcp="04",
  hefc="04",
}

@Article{Turner-1981,
  author="Kenneth J. Turner",
  title="Designing for the {X}.25 Telecommunications Standard",
  journal="ICL Technical Journal",
  editor="Jack Howlett",
  volume="2",
  number="4",
  pages="340--364",
  month=nov,
  year="1981",
  cvcp="11",
  hefc="07",
}

@Article{Turner-1983,
  author="Kenneth J. Turner",
  title="The {IPA} Telecommunications Function",
  journal="ICL Technical Journal",
  editor="Jack Howlett",
  volume="3",
  number="3",
  pages="265--277",
  month=may,
  year="1983",
  cvcp="11",
  hefc="07",
}

@TechReport{Turner-1984a,
  author="Kenneth J. Turner",
  title="Layer 4--1 Addressing",
  number="20",
  institution=ECMA,
  address=ECMA-Ad,
  pages="1--23",
  month=mar,
  year="1984",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1984b,
  author="Kenneth J. Turner",
  title="Interworking Units for Distributed Systems",
  number="21",
  institution=ECMA,
  address=ECMA-Ad,
  pages="1--16",
  month=mar,
  year="1984",
  cvcp="14",
  hefc="03",
}

@Article{Turner-1984c,
  author="Kenneth J. Turner",
  title="Towards Better Specifications",
  journal="ICL Tech. J.",
  editor="Jack Howlett",
  volume="4",
  number="1",
  pages="33--49",
  month=may,
  year="1984",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-1984d,
  author="Kenneth J. Turner",
  title="An Open Architecture for Local Area Networks",
  booktitle="Proc.\ 7th.\ International Conference on Computer
    Communications",
  publisher="ICCC",
  address="Sydney",
  pages="339--344",
  month=nov,
  year="1984",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-1984e,
  author="Kenneth J. Turner",
  title="Gateways for Networking in the Framework of {Open Systems
    Interconnection}",
  booktitle="Proc.\ 7th.\ International Conference on Computer
    Communications",
  publisher="ICCC",
  address="Sydney",
  pages="686--691",
  month=nov,
  year="1984",
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-1986,
  author="Kenneth J. Turner",
  title="{OSI} Connection-Oriented Network Service~--- {A} Constraint-Oriented
    Specification in Extended \textsc{Lotos}",
  number="\textsc{Lotos}/C1/WP/15/IK",
  institution="\textsc{Esprit} Project 410",
  address="Commission of the European Communities, Brussels",
  pages="1--65",
  month=may,
  year="1986",
  cvcp="14",
  hefc="03",
}

@InCollection{Turner-1987a,
  author="Kenneth J. Turner",
  title="\textsc{Lotos}~-- {A} Practical {Formal Description Technique} for
    {OSI}",
  month=mar,
  year="1987",
  booktitle="International Open Systems 87",
  volume="1",
  pages="265--279",
  publisher="Online Publications",
  address="London",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-1987b,
  title="An Architectural Semantics for \textsc{Lotos}",
  author="Kenneth J. Turner",
  month=oct,
  year="1988",
  booktitle=PSTV-VII,
  editor=PSTV-VII-Ed,
  publisher=NH,
  address=NH-Ad,
  pages="15--28",
  cvcp="07",
  hefc="03",
}

@Misc{Turner-1987c,
  author="Kenneth J. Turner",
  title="Report on Progress in {ISO} {FDT} Architecture Group",
  month=mar,
  year="1987",
  howpublished=ST,
  cvcp="17",
  hefc="11",
}

@TechReport{Turner-1988a,
  title="\textsc{Pangloss} Reference Architecture Development Strategy",
  author="Kenneth J. Turner",
  number="\textsc{Pangloss}/AT/UST/N005",
  institution="\textsc{Pangloss} Project, \textsc{Esprit} 890",
  address="European Commission, Brussels, Belgium",
  pages="1--41",
  month=mar,
  year="1988",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1988b,
  author="Kenneth J. Turner",
  title="Harmonised Interconnection Function~--- {F}ormal Description in {\sc
    Lotos}",
  number="\textsc{Pangloss}/AT/UST/N002",
  institution="\textsc{Pangloss} Project, \textsc{Esprit} 890",
  address="European Commission, Brussels, Belgium",
  pages="1--41",
  month=mar,
  year="1988",
  cvcp="14",
  hefc="03",
}

@InProceedings{Turner-1988c,
  author="Kenneth J. Turner",
  title="{C}onstraint-Oriented Style in \textsc{Lotos}",
  booktitle="Proc.\ British Computer Society Workshop on Formal Methods in
    Standards",
  organization="British Computer Society",
  address="London",
  pages="1--13",
  month=apr,
  year="1988",
  cvcp="05",
  hefc="05",
}

@Article{Turner-1988d,
  author="Kenneth J. Turner",
  title="Formal Methods, or There's Method in my Madness",
  journal="Educational Courses in Britain",
  pages="1--4",
  month=jun,
  year="1988",
  cvcp="13",
  hefc="09",
}

@Article{Turner-1988e,
  author="Kenneth J. Turner",
  title="Formal Description of {OSI} Standards",
  journal="IES News",
  volume="16",
  pages="1--4",
  month=jun,
  year="1988",
  cvcp="13",
  hefc="09",
}

@Book{Turner-1988f,
  editor="Kenneth J. Turner",
  title="Formal Description Techniques",
  publisher="North-Holland",
  address="Amsterdam",
  pages="1--351",
  month=dec,
  year="1988",
  cvcp="02",
  hefc="02",
}

@TechReport{Turner-1989a,
  author="Kenneth J. Turner",
  title="Management Overview of Formal Methods",
  number="\textsc{Alice}/UST/N012",
  institution="\textsc{Comett} Project 87/2C/00650",
  address="Commission of the European Communities, Brussels",
  pages="1--24",
  month=oct,
  year="1989",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1989c,
  author="Kenneth J. Turner",
  title="Technical Overview of \textsc{Lotos}",
  number="\textsc{Alice}/UST/N013",
  institution="\textsc{Comett} Project 87/2C/00650",
  address="Commission of the European Communities, Brussels",
  pages="1--22",
  month=nov,
  year="1989",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1989d,
  author="Kenneth J. Turner",
  title="The Formal Specification Language \textsc{Lotos}",
  number="\textsc{Alice}/UST/N017",
  institution="\textsc{Comett} Project 87/2C/00650",
  address="Commission of the European Communities, Brussels",
  pages="1--78",
  month=nov,
  year="1989",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1989e,
  author="Kenneth J. Turner",
  title="Lecture Notes in Communications and Networks",
  number="\textsc{Discus}/UST/N011",
  institution="\textsc{Comett} Project 87/2/C/00793",
  address="Commission of the European Communities, Brussels",
  pages="1--81",
  month=dec,
  year="1989",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1989f,
  author="Kenneth J. Turner",
  title="Exercises in Communications and Networks",
  number="\textsc{Discus}/UST/N012",
  institution="\textsc{Comett} Project 87/2/C/00793",
  address="Commission of the European Communities, Brussels",
  pages="1--35",
  month=dec,
  year="1989",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-1989g,
  author="Kenneth J. Turner",
  title="Introduction to Data Communications, Networking, and Formal Methods
    in Distributed Systems",
  number="\textsc{Discus}/UST/N013",
  institution="\textsc{Comett} Project 87/2/C/00793",
  address="Commission of the European Communities, Brussels",
  pages="1--51",
  month=dec,
  year="1989",
  cvcp="14",
  hefc="03",
}

@InProceedings{Turner-1989h,
  title="A \textsc{Lotos} Case Study: {Specification} of the {OSI}
    Connection-Oriented Network Service",
  author="Kenneth J. Turner",
  year="1989",
  month=jul,
  booktitle="Proc.\ {OTC} Workshop on Formal Techniques",
  organization="Overseas Telecommunications",
  address="Sydney, Australia",
  cvcp="05",
  hefc="05",
}

@Manual{Turner-1989i,
  title="The Formal Specification Language \textsc{Lotos}: {A} Course For
    Users",
  author="Kenneth J. Turner",
  organization=ST,
  address=ST-Ad,
  month=aug,
  year="1989",
  cvcp="03",
  hefc="03",
}

@InCollection{Turner-1990a,
  author="Kenneth J. Turner",
  title="A \textsc{Lotos}-Based Development Strategy",
  booktitle=FORTE-II,
  year="1990",
  editor=FORTE-II-Ed,
  pages="157--174",
  publisher=NH,
  address=NH-Ad,
  note="Invited paper",
  cvcp="07",
  hefc="03",
}

@Book{Turner-1990b,
  editor="Kenneth J. Turner",
  title="Guidelines for the Application of \textsc{Estelle}, \textsc{Lotos},
    and {SDL}",
  publisher=ITU,
  address=ITU-Ad,
  pages="1--357",
  month=jan,
  year="1990",
  cvcp="14",
  hefc="03",
}

@Misc{Turner-1990c,
  title="Template-Based Specification in \textsc{Lotos}",
  author="Kenneth J. Turner",
  year="1990",
  month=may,
  howpublished=ST,
  cvcp="17",
  hefc="11",
}

@InProceedings{Turner-1990d,
  title="A Conversion Tutorial for \textsc{Lotos}",
  author="Kenneth J. Turner",
  booktitle="Proc.\ Workshop on \textsc{Lotos}",
  month=sep,
  year="1990",
  publisher="British Computer Society",
  address="London, UK",
  cvcp="05",
  hefc="05",
}

@InCollection{Turner-1991a,
  title="The Role of Architecture in Formalism",
  author="Kenneth J. Turner",
  year="1991",
  booktitle=FORTE-IV,
  editor=FORTE-IV-Ed,
  publisher=NH,
  address=NH-Ad,
  cvcp="05",
  hefc="05",
}

@Book{Turner-1991b,
  editor="Kenneth J. Turner",
  title="Guidelines for the Application of \textsc{Estelle}, \textsc{Lotos},
    and {SDL}",
  series="ISO/IEC 10167",
  publisher=ISO,
  address=ISO-Ad,
  pages="1--201",
  month=nov,
  year="1991",
  cvcp="14",
  hefc="03",
}

@Book{Turner-1993a,
  editor="Kenneth J. Turner",
  title="Using Formal Description Techniques~--- {A}n Introduction to {\sc
    Estelle}, \textsc{Lotos} and {SDL}",
  publisher="Wiley",
  address="New York",
  pages="431",
  month=jan,
  year="1993",
  cvcp="02",
  hefc="02",
}

@InCollection{Turner-1993b,
  author="Kenneth J. Turner",
  editor="Kenneth J. Turner",
  title="Formal Description Examples",
  booktitle="Using Formal Description Techniques~--- {A}n Introduction to {\sc
    Estelle}, \textsc{Lotos} and {SDL}",
  publisher="Wiley",
  address="New York, USA",
  pages="1--47",
  month=jan,
  year="1993",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-1993c,
  author="Kenneth J. Turner",
  title="An Engineering Approach to Formal Methods",
  booktitle=PSTV-XIII,
  editor=PSTV-XIII-Ed,
  publisher=NH,
  address=NH-Ad,
  pages="357--380",
  month=jun,
  year="1993",
  note="Invited paper",
  cvcp="07",
  hefc="03",
}

@Misc{Turner-1993d,
  author="Kenneth J. Turner",
  title="\textsc{Lotos} {News}",
  month=aug,
  year="1993",
  series="Issue 0",
  publisher=ST,
  address=ST-AD,
  howpublished=ST,
  cvcp="09",
  hefc="06",
}

@TechReport{Turner-1994c,
  author="Kenneth J. Turner",
  title="Exploiting the {\it m4} Macro Language",
  number="CSM-126",
  address=ST-Ad,
  institution=ST,
  month=sep,
  year="1994",
  cvcp="06",
  hefc="03",
}

@Misc{Turner-1994d,
  author="Kenneth J. Turner",
  title="\textsc{Lotos} {News}",
  month=feb,
  year="1994",
  series="Issue 1",
  publisher=ST,
  address=ST-AD,
  howpublished=ST,
  cvcp="09",
  hefc="06",
}

@Misc{Turner-1994e,
  author="Kenneth J. Turner",
  title="\textsc{Lotos} {News}",
  month=aug,
  year="1994",
  series="Issue 2",
  publisher=ST,
  address=ST-Ad,
  howpublished=ST,
  cvcp="09",
  hefc="06",
}

@Misc{Turner-1995a,
  author="Kenneth J. Turner",
  title="\textsc{Lotos} {News}",
  month=feb,
  year="1995",
  series="Issue 3",
  publisher=ST,
  address=ST-Ad,
  howpublished=ST,
  cvcp="09",
  hefc="06",
}

@Misc{Turner-1996d,
  author="Kenneth J. Turner",
  title="{BASIL} ({Basic Architectural Semantics in \textsc{Lotos}})
    Translator",
  howpublished="\kjt{software/lotos/basil.html}",
  month=apr,
  year="1996",
  cvcp="19",
  hefc="12",
}

@Misc{Turner-1996e,
  author="Kenneth J. Turner",
  title="{SAGE} ({Service Attribute Generator}) Translator",
  howpublished="\kjt{software/lotos/sage.html}",
  month=apr,
  year="1996",
  cvcp="19",
  hefc="12",
}

@InProceedings{Turner-1996g,
  author="Kenneth J. Turner",
  title="Introducing Open Distributed Systems",
  booktitle="Proc.\ European Air Traffic Management System Workshop",
  editor="Marc Bourgeois",
  organization="European Organisation for the Safety of Air Navigation",
  address="Brussels",
  month=jun,
  year="1996",
  pages="1001--1013",
  cvcp="04",
  hefc="04",
}

@Article{Turner-1997a,
  author="Kenneth J. Turner",
  title="Specification Architecture illustrated in a Communications Context",
  month=mar,
  year="1997",
  volume="29",
  number="4",
  pages="397--411",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  cvcp="11",
  hefc="07",
}

@Article{Turner-1997b,
  author="Kenneth J. Turner",
  title="Relating Architecture and Specification",
  month=mar,
  year="1997",
  pages="437--456",
  volume="29",
  number="4",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-1997c,
  author="Kenneth J. Turner",
  title="An Architectural Foundation for Relating Features",
  booktitle=FIW-IV,
  editor=FIW-IV-Ed,
  publisher=IOS,
  address=IOS-Ad,
  year="1997",
  pages="226--241",
  cvcp="07",
  hefc="03",
}

@InProceedings{Turner-1997d,
  author="Kenneth J. Turner",
  title="Relating Services and Features in the Intelligent Network",
  editor=CONTEL-4-Ed,
  pages="235--243",
  booktitle=CONTEL-4,
  publisher="University of Zagreb",
  address="Croatia",
  month=jun,
  year="1997",
  ISBN="953-18-4003-2",
  cvcp="04",
  hefc="04",
}

@Article{Turner-1997e,
  author="Kenneth J. Turner",
  title="A Structural Comparison of {FrameMaker} and {\LaTeX}",
  journal="Electronic Publishing -- Origination, Dissemination and Design",
  publisher=JW,
  month=apr,
  year="1997",
  cvcp="11",
  hefc="07",
}

@Article{Turner-1997f,
  author="Kenneth J. Turner",
  title="Incremental Requirements Specification with \textsc{Lotos}",
  journal="Requirements Engineering Journal",
  publisher=SV,
  address="London, UK",
  month=nov,
  year="1997",
  volume="2",
  pages="132--151",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-1998a,
  author="Kenneth J. Turner",
  title="\textsc{Lotos}",
  editor="Partha Dasgupta and Joseph Urban",
  booktitle="Encyclopaedia of Distributed Computing",
  publisher=KL,
  address=KL-Ad,
  month=jan,
  year="1998",
  cvcp="07",
  hefc="03",
}

@InProceedings{Turner-1998b,
  author="Kenneth J. Turner",
  title="The Invoicing Case Study in \textsc{(E-)Lotos}",
  booktitle="Proc.\ International Workshop on Comparing Systems Specification
    Techniques",
  editor="Michel Allemand and Christian Attiogb\'e and Henri Habrias",
  publisher="University of Nantes",
  address="France",
  pages="83--98",
  month=mar,
  year="1998",
  cvcp="04",
  hefc="04",
  ISBN="2-906082-29-5",
}

@Misc{Turner-1998c,
  author="Kenneth J. Turner",
  title="Constraint-Oriented Specification of a File Access System",
  howpublished="\kjt{software/well/fas.html}",
  month=jan,
  year="1998",
  cvcp="19",
  hefc="12",
}

@Article{Turner-1998d,
  author="Kenneth J. Turner",
  title="An Architectural Description of Intelligent Network Features and
    Their Interactions",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  month=sep,
  year="1998",
  volume="30",
  number="15",
  pages="1389--1419",
  cvcp="11",
  hefc="07",
  ISSN="0169-7552",
}

@InCollection{Turner-1998e,
  author="Kenneth J. Turner",
  title="Validating Architectural Feature Descriptions using \textsc{Lotos}",
  booktitle=FIW-V,
  editor=FIW-V-Ed,
  year="1998",
  month=sep,
  pages="247--261",
  publisher=IOS,
  address=IOS-Ad,
  cvcp="07",
  hefc="03",
  ISBN="90-5199-431-1",
}

@Misc{Turner-2000a,
  author="Kenneth J. Turner",
  title="World-wide {Environment} for {Learning} \textsc{Lotos}",
  howpublished="\url{http://www.cs.stir.ac.uk/well/}",
  month=jun,
  year="2000",
  cvcp="19",
  hefc="12",
}

@InCollection{Turner-2000b,
  author="Kenneth J. Turner",
  title="Relating Architecture and Specification",
  booktitle="Encyclopaedia of Microcomputers",
  volume="25",
  pages="337--374",
  editor="Allen Kent and James Williams and Carolyn M. Hall",
  publisher="Marcel Dekker",
  address="New York, USA",
  year="2000",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2000c,
  author="Kenneth J. Turner",
  title="Formalising the {Chisel} Feature Notation",
  booktitle=FIW-VI,
  editor=FIW-VI-Ed,
  publisher=IOS,
  address=IOS-Ad,
  pages="241--256",
  month=may,
  year="2000",
  cvcp="07",
  hefc="03",
}

@InProceedings{Turner-2000d,
  author="Kenneth J. Turner",
  title="Structuring Telecommunications Features",
  booktitle="Proc.\ Workshop on Language Constructs for describing Features",
  editor="Stephen Gilmore and Mark D. Ryan",
  publisher="FireWorks Esprit Working Group 23531",
  address="University of Edinburgh, UK",
  pages="3--6",
  month=may,
  year="2000",
  cvcp="05",
  hefc="05",
  note="Invited paper",
}

@Article{Turner-2000e,
  author="Kenneth J. Turner",
  title="Realising Architectural Feature Descriptions using \textsc{Lotos}",
  journal="Networks and Distributed Systems (R\'eseaux et Syst\`emes
    R\'epartis)",
  publisher="Editions Herm\`es",
  address="Paris, France",
  month=oct,
  year="2000",
  volume="12",
  number="2",
  pages="145--187",
  cvcp="11",
  hefc="07",
}

@InProceedings{Turner-2000f,
  author="Kenneth J. Turner",
  title="The {\it N}-Body Problem in \textsc{Lotos}",
  booktitle="Proc.\ Formal Methods Elsewhere",
  editor="Howard Bowman",
  publisher="Computing Laboratory, University of Kent",
  address="Canterbury, UK",
  pages="84--99",
  month=oct,
  year="2000",
  cvcp="04",
  hefc="04",
  note="TR 11-00",
}

@InCollection{Turner-2001a,
  author="Kenneth J. Turner",
  title="Structuring Telecommunications Features",
  booktitle=FIREworks,
  editor=FIREworks-Ed,
  publisher=SV,
  address=SV-Ad,
  pages="1--9",
  month=jan,
  year="2001",
  ISBN="1-85233-392-8",
  cvcp="07",
  hefc="03",
  note="Invited paper",
}

@Article{Turner-2001c,
  author="Kenneth J. Turner",
  title="The {\it N}-Body Problem in \textsc{Lotos}",
  booktitle="Proc.\ Formal Methods Elsewhere",
  editor="Howard Bowman",
  journal="Electronic Notes in Theoretical Computer Science",
  volume="34",
  publisher=ES,
  address=ES-Ad,
  pages="1--23",
  month=jun,
  year="2001",
  cvcp="11",
  hefc="07",
  note="\url{http://www.elsevier.nl/locate/entcs/volume43.html}",
}

@InProceedings{Turner-2001d,
  author="Kenneth J. Turner",
  title="Formally-Based Testing of Radiotherapy Accelerators",
  booktitle=DHI,
  editor=DHI-Ed,
  year="2001",
  month=mar,
  pages="97--99",
  publisher="University of Lancaster",
  address="UK",
  ISBN="1-86220-109-9",
  cvcp="04",
  hefc="04",
}

@InProceedings{Turner-2001e,
  author="Kenneth J. Turner",
  title="Modular Feature Specification",
  booktitle="Proc.\ MICON 2001",
  editor="Tom Gray",
  pages="1--16",
  publisher="Mitel Networks Corporation",
  address="Ottawa, Canada",
  month=aug,
  year="2001",
  cvcp="04",
  hefc="04",
}

@InCollection{Turner-2001f,
  author="Kenneth J. Turner",
  title="Les Normes pour la Qualit\'e de Service",
  booktitle=QDS,
  editor=QDS-Ed,
  pages="49--81",
  month=oct,
  year="2001",
  publisher="Librairie Lavoisier",
  address="Cachan, France",
  ISBN="2-7462-0315-4",
  cvcp="07",
  hefc="03",
}

@Misc{Turner-2001g,
  author="Kenneth J. Turner",
  title="\textsc{Forces} ({Forum for Creation and Engineering of
    Telecommunications Services})",
  howpublished="www.forces.org.uk",
  month=nov,
  year="2001",
  cvcp="19",
  hefc="12",
}

@Misc{Turner-2001i,
  author="Kenneth J. Turner",
  title="{CommServ} ({Engineering Communications Services})",
  howpublished="\kjt{research/commserv/}",
  month=dec,
  year="2001",
  cvcp="19",
  hefc="12",
}

@Misc{Turner-2001l,
  author="Kenneth J. Turner",
  title="\textsc{Accent} ({Advanced Call Control Enhancing Network
    Technologies})",
  howpublished="\kjt{research/accent.html}",
  month=aug,
  year="2001",
  cvcp="19",
  hefc="12",
}

@InCollection{Turner-2002a,
  author="Kenneth J. Turner",
  title="Modelling {SIP} services using \textsc{Cress}",
  editor=FORTE-XV-Ed,
  booktitle=FORTE-XV,
  month=nov,
  year="2002",
  series=LNCS,
  number="2529",
  pages="162--177",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2003a,
  author="Kenneth J. Turner",
  title="Representing New Voice Services and Their Features",
  editor=FIW-VII-Ed,
  booktitle=FIW-VII,
  month=jun,
  year="2003",
  pages="123--140",
  publisher=IOS,
  address=IOS-Ad,
  cvcp="07",
  hefc="03",
  ISBN="1-58603-348-4",
}

@InCollection{Turner-2003b,
  author="Kenneth J. Turner",
  title="Formalising Graphical Service Descriptions using {SDL}",
  editor=SDL-03-Ed,
  booktitle=SDL-03,
  month=jul,
  year="2003",
  series=LNCS,
  number="2708",
  pages="183--202",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2003c,
  author="Kenneth J. Turner",
  title="Specifying and Realising Interactive Voice Services",
  editor=FORTE-XVI-Ed,
  booktitle=FORTE-XVI,
  month=sep,
  year="2003",
  series=LNCS,
  number="2767",
  pages="15--30",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@Article{Turner-2004a,
  author="Kenneth J. Turner",
  title="Analysing Interactive Voice Services",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  month=aug,
  volume="45",
  number="5",
  year="2004",
  pages="665--685",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-2004c,
  author="Kenneth J. Turner",
  title="Formal Methods for Services",
  editor=COMMSERV-Ed,
  booktitle=COMMSERV,
  month=apr,
  year="2004",
  pages="217--233",
  publisher=JW,
  address=JW-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2004d,
  author="Kenneth J. Turner",
  title="Formalising Graphical Behaviour Descriptions",
  booktitle=AMAST-10,
  editor=AMAST-10-Ed,
  month=jun,
  year="2004",
  pages="537--552",
  publisher=SV,
  address=SV-Ad,
  series=LNCS,
  number="3116",
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-2005c,
  author="Kenneth J. Turner",
  address=ST-Ad,
  institution=ST,
  number="CSM-166",
  title="The \textsc{Accent} Policy Wizard",
  month=dec,
  year="2005",
  cvcp="06",
  hefc="03",
}

@InCollection{Turner-2005d,
  author="Kenneth J. Turner",
  title="Formalising Web Services",
  editor=FORTE-XVIII-Ed,
  booktitle=FORTE-XVIII,
  month=oct,
  year="2005",
  series=LNCS,
  number="3731",
  pages="473--488",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@Article{Turner-2005e,
  author="Kenneth J. Turner",
  title="Test Generation for Radiotherapy Accelerators",
  journal=STTT,
  pages="361--375",
  publisher=SV,
  address=SV-Ad,
  volume="7",
  number="4",
  month=aug,
  year="2005",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-2005f,
  author="Kenneth J. Turner",
  title="Formalising Interactive Voice Services with {SDL}",
  booktitle=IFM-05,
  editor=IFM-05-Ed,
  month=nov,
  year="2005",
  series=LNCS,
  number="3771",
  pages="307--326",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2006a,
  author="Kenneth J. Turner",
  title="Policy-Based Management for Call Control",
  editor="Margherita Panini",
  booktitle="Encyclopaedia of Multimedia Technology and Networking",
  publisher=IG,
  address=IG-Ad,
  month=apr,
  year="2006",
  note="In press",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-2006b,
  author="Kenneth J. Turner",
  title="Teaching Protocols through Animation",
  chapter="V",
  pages="86--100",
  booktitle=TT,
  editor=TT-Ed,
  publisher=IG,
  address=IG-Ad,
  month=mar,
  year="2006",
  ISBN="1-59140-735-4",
  cvcp="07",
  hefc="03",
}

@Article{Turner-2006c,
  author="Kenneth J. Turner",
  title="Validating Feature-Based Specifications",
  journal="Software Practice and Experience",
  publisher=JW,
  address=JW-Ad,
  month=aug,
  year="2006",
  volume="36",
  number="10",
  pages="999--1027",
  cvcp="11",
  hefc="07",
}

@Article{Turner-2007a,
  author="Kenneth J. Turner",
  title="Representing and Analysing Composed Web Services using
    \textsc{Cress}",
  journal=NCA,
  publisher=ES,
  address=ES-Ad,
  volume="30",
  number="2",
  pages="541--562",
  month=apr,
  year="2007",
  cvcp="11",
  hefc="07",
}

@Article{Turner-2008,
  author="Kenneth J. Turner",
  title="Abstraction and Analysis of Clinical Guidance Trees",
  journal="Biomedical Informatics",
  volume="42",
  number="2",
  publisher=ES,
  address=ES-Ad,
  month=apr,
  year="2009",
  pages="237--250",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-2009a,
  author="Kenneth J. Turner",
  title="A Home Care System for Assisted Living",
  booktitle="Pervasive and Smart Technologies for Healthcare",
  editor="Antonio Coronato",
  month=feb,
  year="2009",
  publisher=IG,
  address=IG-Ad,
  cvcp="07",
  hefc="03",
  note="Under review",
}

@InCollection{Turner-2009b,
  author="Kenneth J. Turner",
  title="A Home-Based System to support Delivery of Health and Social Care",
  booktitle="Encyclopaedia of Pervasive and Smart Technologies for
    Healthcare",
  editor="Carsten R{\"o}cker and Martina Zieffle",
  month=sep,
  year="2009",
  publisher=IG,
  address=IG-Ad,
  cvcp="07",
  hefc="03",
  note="Under review",
}

@Article{Turner-Blair-2007,
  author="Kenneth J. Turner and Lynne Blair",
  title="Policies and Conflicts in Call Control",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  month=feb,
  year="2007",
  volume="51",
  number="2",
  pages="496--514",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-Campbell-2009a,
  author="Kenneth J. Turner and Gavin A. Campbell",
  title="Goals for Telecare Networks",
  pages="270--275",
  booktitle=NOTERE-9,
  editor=NOTERE-9-Ed,
  month=jul,
  year="2009",
  publisher="Universit\'e de Qu\'ebec \`a Montr\'eal",
  address="Montreal, Canada",
  ISBN="978-2-9809407-1-2",
  cvcp="07",
  hefc="03",
  note="Invited paper",
}

@InCollection{Turner-Campbell-2009b,
  author="Kenneth J. Turner and Gavin A. Campbell",
  title="Goals and Conflicts in Telephony",
  editor=ICFI-X-Ed,
  booktitle=ICFI-X,
  month=jun,
  year="2009",
  pages="3--18",
  publisher=IOS,
  address=IOS-Ad,
  cvcp="07",
  hefc="03",
  ISBN="978-1-60750-014-8",
}

@InCollection{Turner-Campbell-Wang-2007,
  author="Kenneth J. Turner and Gavin A. Campbell and Feng Wang",
  title="Policies for Sensor Networks and Home Care Networks",
  booktitle=NOTERE-7,
  editor=NOTERE-7-Ed,
  pages="273--284",
  month=jun,
  year="2007",
  publisher="Cana Print",
  address="Rabat, Morocco",
  ISBN="9981-9704-7-6",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Docherty-Wang-Campbell-2009,
  author="Kenneth J. Turner and Liam S. Docherty and Feng Wang and Gavin A.
    Campbell",
  title="Managing Home Care Networks",
  pages="354--359",
  booktitle=ICN-09,
  editor=ICN-09-Ed,
  month=mar,
  year="2009",
  publisher=IEEE-CS,
  address=IEEE-CS-Ad,
  ISBN="978-0-7695-3552-4",
  cvcp="07",
  hefc="03",
}

@Misc{Turner-Jennings-2001b,
  author="Kenneth J. Turner and Mark A. Jennings",
  title="{SailRule} ({Sailing Race Rules for PDAs})",
  howpublished="\kjt{software/pda/sailrule.html}",
  month=dec,
  year="2001",
  cvcp="19",
  hefc="12",
}

@Article{Turner-Jennings-2002,
  author="Kenneth J. Turner and Mark A. Jennings",
  title="The Rules of Sailing Races for Hand-Held Devices",
  journal="Navigation",
  publisher=CUP,
  address=CUP-Ad,
  month=may,
  year="2002",
  volume="55",
  pages="263--275",
  cvcp="11",
  hefc="07",
}

@Unpublished{Turner-Ji-1997,
  author="Kenneth J. Turner and {Ji He}",
  title="Specification of Digital Logic in \textsc{Lotos}",
  journal="Formal Aspects of Computing",
  month=dec,
  year="1997",
  note="Draft paper",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-Ji-2001,
  author="Kenneth J. Turner and {Ji He}",
  title="Formally-Based Design Evaluation",
  booktitle=CHARME-11,
  editor=CHARME-11-Ed,
  number="2144",
  series=LNCS,
  pages="104--109",
  publisher=SV,
  address=SV-Ad,
  month=sep,
  year="2001",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Lambert-Tan-Gayle-Sinnott-Prandy-Bihagen-vanLeeuwen-2008,
  author="Kenneth J. Turner and Paul S. Lambert and Koon Leai Larry Tan and
    Vernon Gayle and Richard O. Sinnott and Ken Prandy and Erik Bihagen and
    Marco {van Leeuwen}",
  title="Grid Computing for Virtual Organizations: {An} {E}-Social Science
    Case Study",
  booktitle="Encyclopaedia of Networked and Virtual Organizations",
  editor="Goran D. Putnik and Maria M. Cunha",
  pages="643--651",
  month=feb,
  year="2008",
  publisher=IG,
  address=IG-Ad,
  cvcp="07",
  hefc="03",
}

@Book{Turner-Magill-Marples-2004a,
  title=COMMSERV,
  editor=COMMSERV-Ed,
  publisher=JW,
  address=JW-Ad,
  pages="1--360",
  month=mar,
  year="2004",
  cvcp="02",
  hefc="02",
}

@InCollection{Turner-Magill-Marples-2004b,
  author="Kenneth J. Turner and Evan H. Magill and David J. Marples",
  title="Service Provision~-- Introduction and Context",
  editor=COMMSERV-Ed,
  booktitle=COMMSERV,
  month=apr,
  year="2004",
  pages="3--6",
  publisher=JW,
  address=JW-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-McClenaghan-1995,
  author="Kenneth J. Turner and Ashley McClenaghan",
  title="Visual Animation of \textsc{Lotos} Using \textsc{Solve}",
  editor=FORTE-VII-Ed,
  booktitle=FORTE-VII,
  year="1995",
  pages="283--285",
  publisher=CH,
  address=CH-AD,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-McClenaghan-Chan-1996,
  author="Kenneth J. Turner and Ashley McClenaghan and Colin Chan",
  title="Specification and Animation of Reactive Systems",
  booktitle="Proc.\ International Symposium on Computer and Information
    Systems XI",
  editor="Volkan Atalay and U\v{g}ur Halici and Kemal \.{I}nan and Ne\c{s}e
    Yalabik and Adnan Yazici",
  publisher="Middle-East Technical University",
  address="Ankara, Turkey",
  month=nov,
  year="1996",
  pages="355--364",
  ISBN="975-429-103-9",
  cvcp="07",
  hefc="03",
}

@InProceedings{Turner-Qian-2002a,
  author="Kenneth J. Turner and {Qian Bing}",
  title="Systematic Testing of Radiotherapy Accelerators",
  booktitle="Proc.\ IDPT (Integrated Design and Process Technology) 02",
  editor="Hartmut Ehrig and Berndt J. Kr{\"a}mer and Attila Ertas",
  year="2002",
  month=jun,
  pages="331--338",
  publisher="Society for Design and Process Science",
  address="Grandview, Texas, USA",
  cvcp="04",
  hefc="04",
  ISSN="1090-9389",
}

@InCollection{Turner-Qian-2002b,
  author="Kenneth J. Turner and (Qian Bing)",
  title="Protocol Techniques for Testing Radiotherapy Accelerators",
  editor=FORTE-XV-Ed,
  booktitle=FORTE-XV,
  month=nov,
  year="2002",
  series=LNCS,
  number="2529",
  pages="81--96",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-ReiffMarganiec-Blair-Campbell-Wang-2009,
  author="Kenneth J. Turner and Stephan Reiff-Marganiec and Lynne Blair and
    Gavin A. Campbell and Feng Wang",
  address=ST-Ad,
  institution=ST,
  number="CSM-161",
  title="\textsc{Appel}: The \textsc{Accent} Project Policy
    Environment/Language",
  month=apr,
  year="2009",
  cvcp="06",
  hefc="03",
}

@Article{Turner-ReiffMarganiec-Blair-Pang-Gray-Perry-Ireland-2006,
  author="Kenneth J. Turner and Stephan Reiff-Marganiec and Lynne Blair and
    Jianxiong Pang and Tom Gray and Peter Perry and Joe Ireland",
  title="Policy Support for Call Control",
  journal=CSI,
  publisher=ES,
  address=ES-Ad,
  month=jun,
  year="2006",
  volume="28",
  number="6",
  pages="635--649",
  cvcp="11",
  hefc="07",
}

@Article{Turner-Robin-2001a,
  author="Kenneth J. Turner and Iain A. Robin",
  title="An Interactive Visual Protocol Simulator",
  journal=CSI,
  publisher=ES,
  address=ES-Ad,
  volume="23",
  pages="279--310",
  month=oct,
  year="2001",
  cvcp="11",
  hefc="07",
}

@Misc{Turner-Robin-2001b,
  author="Kenneth J. Turner and Iain A. Robin",
  title="\textsc{Jasper} ({Java Simulation of Protocols for Education and
    Research})",
  howpublished="\kjt{software/comms/jasper.html}",
  month=may,
  year="2001",
  cvcp="19",
  hefc="12",
}

@Book{Turner-Scollo-1997,
  editor="Kenneth J. Turner and Giuseppe Scollo",
  title="Special Issue on Specification Architecture",
  month=mar,
  year="1997",
  volume="29",
  series=CNIS,
  publisher=ES,
  address=ES-Ad,
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-Sighireanu-2001,
  author="Kenneth J. Turner and Mihaela Sighireanu",
  title="{(E)-Lotos}: {(Enhanced)} Language Of Temporal Ordering
    Specification",
  chapter="10",
  pages="165--190",
  month=jan,
  year="2001",
  booktitle=SSM,
  editor=SSM-Ed,
  publisher=SVUK,
  address=SVUK-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Sighireanu-2006,
  author="Kenneth J. Turner and Mihaela Sighireanu",
  title="\textsc{(E)-Lotos}: {(Enhanced)} Language Of Temporal Ordering
    Specification",
  chapter="13",
  month=apr,
  year="2006",
  booktitle=SSM,
  editor=SSM-Ed,
  publisher="International Scientific and Technical Encyclopedia",
  address="London",
  ISBN="1-905209-34-7",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Sinnott-1994a,
  title="\textsc{Dill}: {Specifying} Digital Logic in \textsc{Lotos}",
  author="Kenneth J. Turner and Richard O. Sinnott",
  pages="71--86",
  year="1994",
  booktitle=FORTE-VI,
  editor=FORTE-VI-Ed,
  publisher=NH,
  address=NH-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Sinnott-2001,
  author="Kenneth J. Turner and Richard O. Sinnott",
  title="Specification Architectures",
  editor=FMDP-Ed,
  booktitle=FMDP,
  month=dec,
  year="2001",
  pages="427--450",
  publisher=CUP,
  address=CUP-Ad,
  cvcp="07",
  hefc="03",
}

@InProceedings{Turner-Tan-2006a,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="Graphical Composition of Grid Services",
  pages="1--16",
  booktitle=RISE-06,
  editor=RISE-06-Ed,
  month=sep,
  year="2006",
  publisher="University of Geneva",
  address="Switzerland",
  cvcp="04",
  hefc="04",
}

@InCollection{Turner-Tan-2006b,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="A Formal Basis for Orchestrating Grid Services",
  booktitle=FORTE-XIX,
  editor=FORTE-XIX-Ed,
  month=apr,
  year="2006",
  publisher=SV,
  address=SV-Ad,
  note="Under review",
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Tan-2007a,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="Graphical Composition of Grid Services",
  booktitle=RISE-06,
  editor=RISE-06-Ed,
  number="4401",
  series=LNCS,
  pages="1--17",
  month=may,
  year="2007",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@Article{Turner-Tan-2007b,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="A Rigorous Approach to Orchestrating Grid Services",
  journal=CN,
  publisher=ES,
  address=ES-Ad,
  volume="51",
  number="15",
  pages="4421--4441",
  month=oct,
  year="2007",
  cvcp="11",
  hefc="07",
}

@InCollection{Turner-Tan-2009,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="A Rigorous Methodology for Composing Services",
  editor=FMICS-14-Ed,
  booktitle=FMICS-14,
  month=nov,
  year="2009",
  series=LNCS,
  number="5825",
  pages="165--180",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Tan-2009,
  author="Kenneth J. Turner and Koon Leai Larry Tan",
  title="A Rigorous Methodology for Composing Services",
  pages="165--180",
  booktitle="Proc. Formal Methods for Industrial Critical Systems",
  editor="M. Alpuente and B. Cook and C. Joubert",
  month=nov,
  year="2009",
  publisher=SV,
  address=SV-Ad,
  cvcp="07",
  hefc="03",
}

@InCollection{Turner-Tan-Blum-Warner-Jones-Lambert-2009,
  author="Kenneth J. Turner and Koon Leai Larry Tan and Jesse M. Blum and Guy
    C. Warner and Simon B. Jones and Paul S. Lambert",
  title="Managing Data in {E}-Social Science",
  pages="214--219",
  booktitle=ICN-09,
  editor=ICN-09-Ed,
  month=mar,
  year="2009",
  publisher=IEEE-CS,
  address=IEEE-CS-Ad,
  ISBN="978-0-7695-3552-4",
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-vanSinderen-1990,
  author="Kenneth J. Turner and Marten {van Sinderen}",
  title="Generic Specification Elements",
  number="Lo/WP1/T1.1/ UST/N004/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--51",
  month=oct,
  year="1990",
  cvcp="14",
  hefc="03",
}

@InProceedings{Turner-vanSinderen-1992,
  author="Kenneth J. Turner and Marten {van Sinderen}",
  title="\textsc{Lotos} Specification Style for {OSI}",
  booktitle="Proc.\ 3rd.\ \textsc{LotoSphere} Workshop",
  editor="Ed Brinksma and Tommaso Bolognesi and Christopher A. Vissers",
  organization="{CNUCE}",
  address="Pisa",
  month=sep,
  year="1992",
  pages="501--522",
  cvcp="04",
  hefc="04",
}

@InCollection{Turner-vanSinderen-1995,
  author="Kenneth J. Turner and Marten {van Sinderen}",
  title="\textsc{Lotos} Specification Style for {OSI}",
  editor="Tommaso Bolognesi and Jeroen {van de Lagemaat} and Chris A.
    Vissers",
  booktitle="The \textsc{LotoSphere} Project",
  publisher=KL,
  address=KL-Ad,
  year="1995",
  pages="137--159",
  cvcp="07",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1990,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="Specification Approaches",
  number="Lo/WP1/T1.1/UST/N0006/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--65",
  month=oct,
  year="1990",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1991a,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="Examples of Specification Approaches",
  number="Lo/WP1/T1.1/ UST/N0007/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--19",
  month=may,
  year="1991",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1991b,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="\textsc{LotoSphere} Design Methodology~--- {S}pecification
    Architecture and Methods",
  number="Lo/WP1/T1.1/UST/N008/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--38",
  month=may,
  year="1991",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1992a,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="\textsc{LotoSphere} Design Methodology~--- {E}xamples of
    Specification Architecture and Methods",
  number="Lo/WP1/T1.1/UST/N0009/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--44",
  month=mar,
  year="1992",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1992b,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="\textsc{LotoSphere} Design Methodology~--- {S}pecification
    Architecture and Methods",
  number="Lo/WP1/T1.1/UST/N0010/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--37",
  month=mar,
  year="1992",
  cvcp="14",
  hefc="03",
}

@TechReport{Turner-vanSinderen-Rafsanjani-1992c,
  author="Kenneth J. Turner and Marten {van Sinderen} and Hossein Rafsanjani",
  title="\textsc{LotoSphere} Design Methodology~-- {Examples} of Specification
    Architecture and Methods",
  number="Lo/WP1/T1.1/UST/N0011/V02",
  institution="\textsc{Esprit} Project 2304",
  address="Commission of the European Communities, Brussels",
  pages="1--42",
  month=mar,
  year="1992",
  cvcp="14",
  hefc="03",
}

@InCollection{Wang-Docherty-Turner-Kolberg-Magill-2006,
  author="Feng Wang and Liam S. Docherty and Kenneth J. Turner and Mario
    Kolberg and Evan H. Magill",
  title="Services and Policies for Care at Home",
  booktitle=PCTH-06,
  editor=PCTH-06-Ed,
  pages="7.1--7.10",
  publisher=IEEE,
  address=IEEE-Ad,
  month=nov,
  year="2006",
  cvcp="07",
  hefc="03",
}

@InCollection{Wang-Turner-2007,
  author="Feng Wang and Kenneth J. Turner",
  title="Policy Conflicts in Home Care Systems",
  booktitle=ICFI-IX,
  editor=ICFI-IX-Ed,
  pages="61--76",
  month=sep,
  year="2007",
  publisher="IMAG Laboratory, University of Grenoble",
  address="France",
  cvcp="07",
  hefc="03",
}

@InCollection{Wang-Turner-2008a,
  author="Feng Wang and Kenneth J. Turner",
  title="Policy Conflicts in Home Care Systems",
  editor=ICFI-IX-Ed,
  booktitle=ICFI-IX,
  month=may,
  year="2008",
  pages="54--65",
  publisher=IOS,
  address=IOS-Ad,
  ISBN="978-1-58603-845-8",
  cvcp="07",
  hefc="03",
}

@InProceedings{Wang-Turner-2008b,
  author="Feng Wang and Kenneth J. Turner",
  title="Towards Personalised Home Care Systems",
  booktitle=PETRA-1,
  editor=PETRA-1-Ed,
  month=jul,
  year="2008",
  pages="L2.1--L2.7",
  publisher=ACM,
  address=ACM-Ad,
  ISBN="978-1-60558-067-8",
  cvcp="07",
  hefc="03",
}

@InCollection{Wang-Turner-2009,
  author="Feng Wang and Kenneth J. Turner",
  title="An Ontology-Based Actuator Discovery and Invocation Framework in Home
    Care Systems",
  pages="66--73",
  booktitle="Proc. 7th International Conference on Smart Homes and Health
    Telematics",
  editor="M. Mokhtari and I. Khalil and J. Bauchet and D. Zhang and C.
    Nugent",
  month=jul,
  year="2009",
  number="5597",
  series=LNCS,
  publisher=SV,
  address=SV-Ad,
  ISBN="978-3-642-02867-0",
  cvcp="07",
  hefc="03",
}