Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.01",
%%%     date            = "07 April 2020",
%%%     time            = "14:58:53 MDT",
%%%     filename        = "tcps.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "12331 3860 17999 173969",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "ACM Transactions on Cyber-Physical Systems
%%%                        (TCPS); bibliography; BibTeX",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a COMPLETE BibTeX bibliography for
%%%                        ACM Transactions on Cyber-Physical Systems
%%%                        (TCPS) (CODEN ????, ISSN 2378-962X (print),
%%%                        2378-9638 (electronic)).  The journal appears
%%%                        quarterly, and publication began with volume
%%%                        1, number 1, in February 2017.
%%%
%%%                        At version 1.01, the COMPLETE journal
%%%                        coverage looked like this:
%%%
%%%                             2017 (  17)    2019 (  43)
%%%                             2018 (  29)    2020 (  30)
%%%
%%%                             Article:        119
%%%
%%%                             Total entries:  119
%%%
%%%                        The journal Web page can be found at:
%%%
%%%                            http://tcps.acm.org/
%%%
%%%                        The journal table of contents page is at:
%%%
%%%                            http://dl.acm.org/pub.cfm?id=J1496
%%%                            http://dl.acm.org/citation.cfm?id=2632163
%%%
%%%                        Qualified subscribers can retrieve the full
%%%                        text of recent articles in PDF form.
%%%
%%%                        The initial draft was extracted from the ACM
%%%                        Web pages.
%%%
%%%                        ACM copyrights explicitly permit abstracting
%%%                        with credit, so article abstracts, keywords,
%%%                        and subject classifications have been
%%%                        included in this bibliography wherever
%%%                        available.  Article reviews have been
%%%                        omitted, until their copyright status has
%%%                        been clarified.
%%%
%%%                        bibsource keys in the bibliography entries
%%%                        below indicate the entry originally came
%%%                        from the computer science bibliography
%%%                        archive, even though it has likely since
%%%                        been corrected and updated.
%%%
%%%                        URL keys in the bibliography point to
%%%                        World Wide Web locations of additional
%%%                        information about the entry.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, using ``bibsort -byvolume.''
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
@Preamble{"\input bibnames.sty" #
    "\def \TM {${}^{\sc TM}$}"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-TCPS                  = "ACM Transactions on Cyber-Physical Systems
                                  (TCPS)"}

%%% ====================================================================
%%% Bibliography entries:
@Article{Kuo:2017:I,
  author =       "Tei Kuo",
  title =        "Introduction",
  journal =      j-TCPS,
  volume =       "1",
  number =       "1",
  pages =        "1e:1--1e:1",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3047402",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:55 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3047402",
  acknowledgement = ack-nhfb,
  articleno =    "1e",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Stankovic:2017:RDC,
  author =       "John A. Stankovic",
  title =        "Research Directions for Cyber Physical Systems in
                 Wireless and Mobile Healthcare",
  journal =      j-TCPS,
  volume =       "1",
  number =       "1",
  pages =        "1:1--1:12",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2899006",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:55 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2899006",
  abstract =     "Wireless and mobile healthcare systems are
                 proliferating. Many of these systems are Cyber Physical
                 Systems (CPS). However, the complexities involved in
                 building healthcare systems often go beyond those CPS
                 systems that are constructed using principles from
                 physics and other natural physical sciences. In
                 healthcare CPSs, complex human physiology and free
                 will, both of which are person dependent, are
                 paramount. These complexities give rise to many new
                 research problems for CPS. This article highlights some
                 of the major new research questions and promising
                 directions for wireless and mobile healthcare CPSs of
                 the future.",
  acknowledgement = ack-nhfb,
  articleno =    "1",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Wu:2017:DRW,
  author =       "Jianjia Wu and Wei Zhao",
  title =        "Design and Realization of {WInternet}: From Net of
                 Things to {Internet of Things}",
  journal =      j-TCPS,
  volume =       "1",
  number =       "1",
  pages =        "2:1--2:12",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2872332",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:55 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2872332",
  abstract =     "In recent years, Internet of Things (IoT) has
                 attracted great attention from academia, industry, and
                 government. IoT is considered to be a networking
                 infrastructure that can connect enormous physical
                 objects and has great potential to extend mankind's
                 capabilities in monitoring, analyzing, and controlling
                 the physical space using cyber technologies. Extensive
                 studies on IoT have been carried out and many IoT
                 prototype systems have been built. However, most of
                 these systems are usually suitable for domain-specific
                 applications and operate in a local region. They are
                 really Nets of Things (NoT) as they miss mechanisms for
                 large-scale interconnection. As such, how to build a
                 globally interconnected IoT is still an open problem.
                 In this article, by reviewing the development of the
                 Internet, we derive a pathway that may lead to
                 successful development and deployment of a global IoT.
                 We propose and examine a novel IoT architecture,
                 namely, WInternet, which aims at interconnecting
                 small-scale domain-specific NoTs into a globally
                 connected IoT.",
  acknowledgement = ack-nhfb,
  articleno =    "2",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Lee:2017:FLC,
  author =       "Edward A. Lee",
  title =        "Fundamental Limits of Cyber-Physical Systems
                 Modeling",
  journal =      j-TCPS,
  volume =       "1",
  number =       "1",
  pages =        "3:1--3:26",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2912149",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:55 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2912149",
  abstract =     "This article examines the role of modeling in the
                 engineering of cyber-physical systems. It argues that
                 the role that models play in engineering is different
                 from the role they play in science, and that this
                 difference should direct us to use a different class of
                 models, where simplicity and clarity of semantics
                 dominate over accuracy and detail. I argue that
                 determinism in models used for engineering is a
                 valuable property and should be preserved whenever
                 possible, regardless of whether the system being
                 modeled is deterministic. I then identify three classes
                 of fundamental limits on modeling, specifically chaotic
                 behavior, the inability of computers to numerically
                 handle a continuum, and the incompleteness of
                 determinism. The last of these has profound
                 consequences.",
  acknowledgement = ack-nhfb,
  articleno =    "3",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Zhang:2017:HMI,
  author =       "Desheng Zhang and Juanjuan Zhao and Fan Zhang and Tian
                 He and Haengju Lee and Sang H. Son",
  title =        "Heterogeneous Model Integration for Multi-Source Urban
                 Infrastructure Data",
  journal =      j-TCPS,
  volume =       "1",
  number =       "1",
  pages =        "4:1--4:26",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2967503",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:55 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2967503",
  abstract =     "Data-driven modeling usually suffers from data
                 sparsity, especially for large-scale modeling for urban
                 phenomena based on single-source urban-infrastructure
                 data under fine-grained spatial-temporal contexts. To
                 address this challenge, we motivate, design, and
                 implement UrbanCPS, a cyber-physical system with
                 heterogeneous model integration, based on
                 extremely-large multi-source infrastructures in the
                 Chinese city Shenzhen, involving 42,000 vehicles, 10
                 million residents, and 16 million smartcards. Based on
                 temporal, spatial, and contextual contexts, we
                 formulate an optimization problem about how to
                 optimally integrate models based on highly diverse
                 datasets under three practical issues, that is,
                 heterogeneity of models, input data sparsity, or
                 unknown ground truth. We further propose a real-world
                 application called Speedometer, inferring real-time
                 traffic speeds in urban areas. The evaluation results
                 show that, compared to a state-of-the-art system,
                 Speedometer increases the inference accuracy by 29\% on
                 average.",
  acknowledgement = ack-nhfb,
  articleno =    "4",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Huang:2017:MTL,
  author =       "Zhichuan Huang and Ting Zhu and David Irwin and Aditya
                 Mishra and Daniel Menasche and Prashant Shenoy",
  title =        "Minimizing Transmission Loss in Smart Microgrids by
                 Sharing Renewable Energy",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "5:1--5:22",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2823355",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2823355",
  abstract =     "Renewable energy (e.g., solar energy) is an attractive
                 option to provide green energy to homes. Unfortunately,
                 the intermittent nature of renewable energy results in
                 a mismatch between when these sources generate energy
                 and when homes demand it. This mismatch reduces the
                 efficiency of using harvested energy by either (i)
                 requiring batteries to store surplus energy, which
                 typically incurs 20\% energy conversion losses, or (ii)
                 using net metering to transmit surplus energy via the
                 electric grid's AC lines, which severely limits the
                 maximum percentage of renewable penetration possible.
                 In this article, we propose an alternative structure
                 where nearby homes explicitly share energy with each
                 other to balance local energy harvesting and demand in
                 microgrids. We develop a novel energy sharing approach
                 to determine which homes should share energy, and when
                 to minimize system-wide energy transmission losses in
                 the microgrid. We evaluate our approach in simulation
                 using real traces of solar energy harvesting and home
                 consumption data from a deployment in Amherst, MA. We
                 show that our system (i) reduces the energy loss on the
                 AC line by 64\% without requiring large batteries, (ii)
                 performance scales up with larger battery capacities,
                 and (iii) is robust to different energy consumption
                 patterns and energy prediction accuracy in the
                 microgrid.",
  acknowledgement = ack-nhfb,
  articleno =    "5",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Zhang:2017:LMT,
  author =       "Desheng Zhang and Juanjuan Zhao and Fan Zhang and
                 Ruobing Jiang and Tian He and Nikos Papanikolopoulos",
  title =        "Last-Mile Transit Service with Urban Infrastructure
                 Data",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "6:1--6:26",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2823326",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2823326",
  abstract =     "In this article, we propose a transit service Feeder
                 to tackle the last-mile problem, that is, passengers
                 destinations lay beyond a walking distance from a
                 public transit station. Feeder utilizes
                 ridesharing-based vehicles (e.g., minibus) to deliver
                 passengers from existing transit stations to selected
                 stops closer to their destinations. We infer real-time
                 passenger demand (e.g., exiting stations and times) for
                 Feeder design by utilizing extreme-scale urban
                 infrastructures, which consist of 10 million
                 cellphones, 27 thousand vehicles, and 17 thousand
                 smartcard readers for 16 million smartcards in a
                 Chinese city, Shenzhen. Regarding these numerous
                 devices as pervasive sensors, we mine both online and
                 offline data for a two-end Feeder service: a back-end
                 Feeder server to calculate service schedules and
                 front-end customized Feeder devices in vehicles for
                 real-time schedule downloading. We implement Feeder
                 using a fleet of vehicles with customized hardware in a
                 subway station of Shenzhen by collecting data for 30
                 days. The evaluation results show that compared to the
                 ground truth, Feeder reduces last-mile distances by
                 68\% and travel time by 56\%, on average.",
  acknowledgement = ack-nhfb,
  articleno =    "6",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Altawy:2017:SPS,
  author =       "Riham Altawy and Amr M. Youssef",
  title =        "Security, Privacy, and Safety Aspects of Civilian
                 Drones: A Survey",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "7:1--7:25",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3001836",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3001836",
  abstract =     "The market for civilian unmanned aerial vehicles, also
                 known as drones, is expanding rapidly as new
                 applications are emerging to incorporate the use of
                 civilian drones in our daily lives. On one hand, the
                 convenience of offering certain services via drones is
                 attractive. On the other hand, the mere operation of
                 these airborne machines, which rely heavily on their
                 cyber capabilities, poses great threats to people and
                 property. Also, while the Federal Aviation
                 Administration NextGen project aims to integrate
                 civilian drones into the national airspace, the
                 regulation is still a work-in-progress and does not
                 cope with their threats. This article surveys the main
                 security, privacy, and safety aspects associated with
                 the use of civilian drones in the national airspace. In
                 particular, we identify both the physical and cyber
                 threats of such systems and discuss the security
                 properties required by their critical operation
                 environment. We also identify the research challenges
                 and possible future directions in the fields of
                 civilian drone security, safety, and privacy. Based on
                 our investigation, we forecast that security will be a
                 central enabling technology for the next generation of
                 civilian unmanned aerial vehicles.",
  acknowledgement = ack-nhfb,
  articleno =    "7",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Tan:2017:CLM,
  author =       "Rui Tan and Hoang Hai Nguyen and David K. Y. Yau",
  title =        "Collaborative Load Management with Safety Assurance in
                 Smart Grids",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "12:1--12:27",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2823351",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2823351",
  abstract =     "Load shedding can combat the overload of a power grid
                 that may jeopardize the grid's safety. However,
                 disconnected customers may be excessively
                 inconvenienced or even endangered. With the emergence
                 of demand-response based on cyber-enabled smart meters
                 and appliances, customers may participate in solving
                 the overload by curtailing their demands
                 collaboratively such that no single customers will have
                 to bear a disproportionate burden of reduced usage.
                 However, compliance or commitment to curtailment
                 requests by untrusted users is uncertain, which causes
                 an important safety concern. This article proposes a
                 two-phase load management scheme that (i) gives
                 customers a chance to curtail their demands and correct
                 a grid's overload when there are no immediate safety
                 concerns but (ii) falls back to load shedding to ensure
                 safety once the grid enters a vulnerable state.
                 Extensive simulations based on a 37-bus electrical grid
                 and traces of real electrical load demonstrate the
                 effectiveness of this scheme. In particular, if
                 customers are, as expected, sufficiently committed to
                 the load curtailment, overloads can be resolved in real
                 time by collaborative and graceful usage degradation
                 among them, thereby avoiding unpleasant load
                 shedding.",
  acknowledgement = ack-nhfb,
  articleno =    "12",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{He:2017:CSI,
  author =       "Liang He and Eugene Kim and Kang G. Shin",
  title =        "A Case Study on Improving Capacity Delivery of Battery
                 Packs via Reconfiguration",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "11:1--11:23",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3035539",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3035539",
  abstract =     "Cell imbalance in large battery packs degrades their
                 capacity delivery, especially for cells connected in
                 series where the weakest cell dominates their overall
                 capacity. In this article, we present a case study of
                 exploiting system reconfigurations to mitigate the cell
                 imbalance in battery packs. Specifically, instead of
                 using all the cells in a battery pack to support the
                 load, selectively skipping cells to be discharged may
                 actually enhance the pack's capacity delivery. Based on
                 this observation, we propose CSR, a Cell
                 Skipping-assisted Reconfiguration algorithm that
                 identifies the system configuration with (near)-optimal
                 capacity delivery. We evaluate CSR using large-scale
                 emulation based on empirically collected discharge
                 traces of 40 lithium-ion cells. CSR achieves
                 close-to-optimal capacity delivery when the cell
                 imbalance in the battery pack is low and improves the
                 capacity delivery by about 20\% and up to 1x in the
                 case of a high imbalance.",
  acknowledgement = ack-nhfb,
  articleno =    "11",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Irwin:2017:EDE,
  author =       "David Irwin and Srinivasan Iyengar and Stephen Lee and
                 Aditya Mishra and Prashant Shenoy and Ye Xu",
  title =        "Enabling Distributed Energy Storage by Incentivizing
                 Small Load Shifts",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "10:1--10:30",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3015663",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3015663",
  abstract =     "Reducing peak demands and achieving a high penetration
                 of renewable energy sources are important goals in
                 achieving a smarter grid. To reduce peak demand,
                 utilities are introducing variable rate electricity
                 prices to incentivize consumers to manually shift their
                 demand to low-price periods. Consumers may also use
                 energy storage to automatically shift their demand by
                 storing energy during low-price periods for use during
                 high-price periods. Unfortunately, variable rate
                 pricing provides only a weak incentive for distributed
                 energy storage and does not promote its adoption at
                 large scales. In this article, we present the storage
                 adoption dilemma to capture the problems with
                 incentivizing energy storage using variable rate
                 prices. To address the problem, we propose a simple
                 pricing scheme, called flat-power pricing, which
                 incentivizes consumers to shift small amounts of load
                 to flatten their demand rather than shift as much of
                 their power usage as possible to low-price, off-peak
                 periods. We show that compared to variable rate
                 pricing, flat-power pricing (i) reduces consumers
                 upfront capital costs, as it requires significantly
                 less storage capacity per consumer; (ii) increases
                 energy storage's return on investment, as it mitigates
                 free riding and maintains the incentive to use energy
                 storage at large scales; and (iii) uses aggregate
                 storage capacity within 31\% of an optimal centralized
                 approach. In addition, unlike variable rate pricing, we
                 also show that flat-power pricing incentivizes the
                 scheduling of elastic background loads, such as air
                 conditioners and heaters, to reduce peak demand. We
                 evaluate our approach using real smart meter data from
                 14,000 homes in a small town.",
  acknowledgement = ack-nhfb,
  articleno =    "10",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Jiang:2017:EBM,
  author =       "Jian-Min Jiang and Huibiao Zhu and Qin Li and Yongxin
                 Zhao and Lin Zhao and Shi Zhang and Ping Gong and Zhong
                 Hong and Donghuo Chen",
  title =        "Event-Based Mobility Modeling and Analysis",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "9:1--9:32",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2823353",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2823353",
  abstract =     "Mobility is a critical issue that must be considered
                 during the modeling and analyzing of a mobile system.
                 At a high abstract level, event-based models can
                 directly specify a mobile system without the
                 introduction of additional mechanisms. In this article,
                 we first propose two types of special events, entering
                 and exiting an ambient, as movement events. Next, based
                 on the movement events, we introduce the notion of a
                 movement path and propose a feasible movement criterion
                 (deciding whether a given movement path of a mobile
                 object (agent) is feasible or not in terms of
                 spatiotemporal topological relationships of ambients).
                 Then, we investigate how a message movement--based
                 communication model represents synchronous
                 communication, asynchronous communication, and
                 broadcast communication in a unified way. Finally, we
                 use movement event sequences to discuss the exclusivity
                 of ambients (an ambient only allows one mobile object
                 to occupy (enter) it at any moment) and show that a
                 priority scheduling control policy can guarantee
                 exclusivity. Accordingly, we propose a correct movement
                 criterion that is, a correct movement path is feasible
                 and satisfies the exclusivity of ambients. Case studies
                 demonstrate these results.",
  acknowledgement = ack-nhfb,
  articleno =    "9",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Zimmerling:2017:ART,
  author =       "Marco Zimmerling and Luca Mottola and Pratyush Kumar
                 and Federico Ferrari and Lothar Thiele",
  title =        "Adaptive Real-Time Communication for Wireless
                 Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "1",
  number =       "2",
  pages =        "8:1--8:29",
  month =        feb,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3012005",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3012005",
  abstract =     "Low-power wireless technology promises greater
                 flexibility and lower costs in cyber-physical systems.
                 To reap these benefits, communication protocols must
                 deliver packets reliably within real-time deadlines
                 across resource-constrained devices, while adapting to
                 changes in application requirements (e.g., traffic
                 demands) and network state (e.g., link qualities).
                 Existing protocols do not solve all these challenges
                 simultaneously, because their operation is either
                 localized or a function of network state, which changes
                 unpredictably over time. By contrast, this article
                 claims a global approach that does not use network
                 state information as input can overcome these
                 limitations. The Blink protocol proves this claim by
                 providing hard guarantees on end-to-end deadlines of
                 received packets in multi-hop low-power wireless
                 networks, while seamlessly handling changes in
                 application requirements and network state. We build
                 Blink on the non-real-time Low-Power Wireless Bus (LWB)
                 and design new scheduling algorithms based on the
                 earliest-deadline-first policy. Using a dedicated
                 priority queue data structure, we demonstrate a viable
                 implementation of our algorithms on
                 resource-constrained devices. Experiments show that
                 Blink (i) meets all deadlines of received packets, (ii)
                 delivers 99.97\% of packets on a 94-node testbed, (iii)
                 minimizes communication energy consumption within the
                 limits of the underlying LWB, (iv) supports end-to-end
                 deadlines of 100ms across four hops and nine sources,
                 and (v) runs up to $ 4.1 \times $ faster than a
                 conventional scheduler implementation on popular
                 microcontrollers.",
  acknowledgement = ack-nhfb,
  articleno =    "8",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Gerostathopoulos:2017:SAC,
  author =       "Ilias Gerostathopoulos and Tomas Bures and Petr
                 Hnetynka and Adam Hujecek and Frantisek Plasil and
                 Dominik Skoda",
  title =        "Strengthening Adaptation in Cyber-Physical Systems via
                 Meta-Adaptation Strategies",
  journal =      j-TCPS,
  volume =       "1",
  number =       "3",
  pages =        "13:1--13:25",
  month =        may,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/2823345",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=2823345",
  abstract =     "The dynamic nature of complex Cyber-Physical Systems
                 puts extra requirements on their functionalities: they
                 not only need to be dependable, but also able to adapt
                 to changing situations in their environment. When
                 developing such systems, however, it is often
                 impossible to explicitly design for all potential
                 situations up front and provide corresponding
                 strategies. Situations that come out of this envelope
                 of adaptability can lead to problems that end up by
                 applying an emergency fail-safe strategy to avoid
                 complete system failure. The existing approaches to
                 self-adaptation cannot typically cope with such
                 situations better while they are adaptive (and can
                 apply learning) in choosing a strategy, they still rely
                 on a pre-defined set of strategies not flexible enough
                 to deal with those situations adequately. To alleviate
                 this problem, we propose the concept of meta-adaptation
                 strategies, which extends the limits of adaptability of
                 a system by constructing new strategies at runtime to
                 reflect the changes in the environment. Though the
                 approach is generally applicable to most approaches to
                 self-adaptation, we demonstrate our approach on IRM-SA
                 a design method and associated runtime model for
                 self-adaptive distributed systems based on component
                 ensembles. We exemplify the meta-adaptation strategies
                 concept by providing three concrete meta-adaptation
                 strategies and show its feasibility on an emergency
                 coordination case study.",
  acknowledgement = ack-nhfb,
  articleno =    "13",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Khandeparkar:2017:QDD,
  author =       "Kedar Khandeparkar and Krithi Ramamritham and Rajeev
                 Gupta",
  title =        "{QoS}-Driven Data Processing Algorithms for Smart
                 Electric Grids",
  journal =      j-TCPS,
  volume =       "1",
  number =       "3",
  pages =        "14:1--14:24",
  month =        may,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3047410",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3047410",
  abstract =     "Smart-grid applications have widely varying data needs
                 as well as bandwidth and latency requirements. The
                 usual approach to accumulating the available data
                 (e.g., from Phasor Measurement Units) at a centralized
                 site and executing all the applications there leads to
                 large network latencies. This article proposes
                 techniques where data packets are prioritized and
                 disseminated based on applications data needs and
                 semantics. In particular, these techniques
                 systematically exploit in-network processing capability
                 and filter data in the dissemination network. This
                 filtered data is assigned higher priority compared to
                 the raw unfiltered data helping meet QoS requirements
                 of various applications. Performance evaluation of our
                 distributed techniques over a testbed designed for the
                 Indian electric grid demonstrates that processing
                 latency for various smart grid applications reduces by
                 at least 50\% for large PMU data sizes, compared to the
                 traditional centralized approach.",
  acknowledgement = ack-nhfb,
  articleno =    "14",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Park:2017:SCP,
  author =       "Junkil Park and Radoslav Ivanov and James Weimer and
                 Miroslav Pajic and Sang Hyuk Son and Insup Lee",
  title =        "Security of Cyber-Physical Systems in the Presence of
                 Transient Sensor Faults",
  journal =      j-TCPS,
  volume =       "1",
  number =       "3",
  pages =        "15:1--15:23",
  month =        may,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3064809",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-9638",
  bibdate =      "Fri Jun 16 05:43:56 MDT 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "http://dl.acm.org/citation.cfm?id=3064809",
  abstract =     "This article is concerned with the security of modern
                 Cyber-Physical Systems in the presence of transient
                 sensor faults. We consider a system with multiple
                 sensors measuring the same physical variable, where
                 each sensor provides an interval with all possible
                 values of the true state. We note that some sensors
                 might output faulty readings and others may be
                 controlled by a malicious attacker. Differing from
                 previous works, in this article, we aim to distinguish
                 between faults and attacks and develop an attack
                 detection algorithm for the latter only. To do this, we
                 note that there are two kinds of faults transient and
                 permanent; the former are benign and short-lived,
                 whereas the latter may have dangerous consequences on
                 system performance. We argue that sensors have an
                 underlying transient fault model that quantifies the
                 amount of time in which transient faults can occur. In
                 addition, we provide a framework for developing such a
                 model if it is not provided by manufacturers. Attacks
                 can manifest as either transient or permanent faults
                 depending on the attacker's goal. We provide different
                 techniques for handling each kind. For the former, we
                 analyze the worst-case performance of sensor fusion
                 over time given each sensor's transient fault model and
                 develop a filtered fusion interval that is guaranteed
                 to contain the true value and is bounded in size. To
                 deal with attacks that do not comply with sensors
                 transient fault models, we propose a sound attack
                 detection algorithm based on pairwise inconsistencies
                 between sensor measurements. Finally, we provide a
                 real-data case study on an unmanned ground vehicle to
                 evaluate the various aspects of this article.",
  acknowledgement = ack-nhfb,
  articleno =    "15",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J1536",
}

@Article{Wang:2017:ESH,
  author =       "Hongwei Wang and Yunlong Gao and Shaohan Hu and
                 Shiguang Wang and Renato Mancuso and Minje Kim and
                 Poliang Wu and Lu Su and Lui Sha and Tarek Abdelzaher",
  title =        "On Exploiting Structured Human Interactions to Enhance
                 Sensing Accuracy in Cyber-physical Systems",
  journal =      j-TCPS,
  volume =       "1",
  number =       "3",
  pages =        "16:1--16:19",
  month =        jul,
  year =         "2017",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3064006",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:50:59 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3064006",
  abstract =     "In this article, we describe a general methodology for
                 enhancing sensing accuracy in cyber-physical systems
                 that involve structured human interactions in noisy
                 physical environment. We define structured human
                 interactions as domain-specific workflow. A \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "16",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zhao:2018:PSIa,
  author =       "Wei Zhao and Tarek Abdelzaher",
  title =        "Preface to the Special Issue: Toward an Efficient and
                 Effective {Internet of Things} for Cyber-Physical
                 Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "7:1--7:2",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3203210",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3203210",
  acknowledgement = ack-nhfb,
  articleno =    "7",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Dong:2018:QUP,
  author =       "Roy Dong and Lillian J. Ratliff and Alvaro A.
                 C{\'a}rdenas and Henrik Ohlsson and S. Shankar Sastry",
  title =        "Quantifying the Utility--Privacy Tradeoff in the
                 {Internet of Things}",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "8:1--8:28",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185511",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185511",
  abstract =     "The Internet of Things (IoT) promises many advantages
                 in the control and monitoring of physical systems from
                 both efficacy and efficiency perspectives. However, in
                 the wrong hands, the data might pose a privacy threat.
                 In this article, we consider the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "8",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yong:2018:SDI,
  author =       "Sze Zheng Yong and Minghui Zhu and Emilio Frazzoli",
  title =        "Switching and Data Injection Attacks on Stochastic
                 Cyber-Physical Systems: Modeling, Resilient Estimation,
                 and Attack Mitigation",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "9:1--9:2",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3204439",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3204439",
  abstract =     "In this article, we consider the problem of
                 attack-resilient state estimation, that is, to reliably
                 estimate the true system states despite two classes of
                 attacks: (i) attacks on the switching mechanisms and
                 (ii) false data injection attacks on actuator
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "9",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wu:2018:DSA,
  author =       "Qiang Wu and T. John Koo and Yoshihiko Susuki",
  title =        "Dynamic Security Analysis of Power Systems by a
                 Sampling-Based Algorithm",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "10:1--10:26",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3208093",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3208093",
  abstract =     "Dynamic security analysis is an important problem of
                 power systems on ensuring safe operation and stable
                 power supply even when certain faults occur. No matter
                 if such faults are caused by vulnerabilities of system
                 components, physical attacks, or cyber-. \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "10",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Liu:2018:TST,
  author =       "Guanjun Liu and Changjun Jiang and Mengchu Zhou",
  title =        "Time-Soundness of Time {Petri} Nets Modelling
                 Time-Critical Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "11:1--11:27",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185502",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185502",
  abstract =     "The correctness of a time-critical system is closely
                 related to the time of responding and performing every
                 event. Our motivation example, alternating bit
                 protocol, and application example, multi-track level
                 crossing with sensors, both demonstrate that \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "11",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Siegemund:2018:SSP,
  author =       "Gerry Siegemund and Volker Turau",
  title =        "A Self-Stabilizing Publish\slash Subscribe Middleware
                 for {IoT} Applications",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "12:1--12:26",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185509",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185509",
  abstract =     "This article presents a middleware that provides a
                 communication and data dissemination infrastructure
                 suitable for the operation environment of the Internet
                 of Things (IoT). The middleware realizes the
                 channel-based publish/subscribe paradigm that has
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "12",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Nacci:2018:BTA,
  author =       "Alessandro A. Nacci and Vincenzo Rana and Bharathan
                 Balaji and Paola Spoletini and Rajesh Gupta and
                 Donatella Sciuto and Yuvraj Agarwal",
  title =        "{BuildingRules}: a Trigger--Action-Based System to
                 Manage Complex Commercial Buildings",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "13:1--13:22",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185500",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185500",
  abstract =     "Modern Building Management Systems (BMSs) have been
                 designed to automate the behavior of complex buildings,
                 but unfortunately they do not allow occupants to
                 customize it according to their preferences, and only
                 the facility manager is in charge of \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "13",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2018:LTE,
  author =       "Ping Wang and Meng Ma and Chao-Hsien Chu",
  title =        "Long-Term Event Processing over Data Streams in
                 Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "2",
  pages =        "14:1--14:23",
  month =        jun,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3204412",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3204412",
  abstract =     "Event processing is a crucial cornerstone supporting
                 the revolution of Internet of Things (IoT) and
                 Cyber-Physical Systems (CPS) by integrating
                 physical-layer networking and providing intelligent
                 computation and real-time control abilities. In various
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "14",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zhao:2018:PSIb,
  author =       "Wei Zhao and Tarek Abdelzaher",
  title =        "Preface to the Special Issue: Toward an Efficient and
                 Effective {Internet of Things} for Cyber-Physical
                 Systems ({Part II})",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "15:1--15:2",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3203213",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3203213",
  acknowledgement = ack-nhfb,
  articleno =    "15",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Pradhan:2018:CGD,
  author =       "Subhav Pradhan and Abhishek Dubey and Shweta Khare and
                 Saideep Nannapaneni and Aniruddha Gokhale and Sankaran
                 Mahadevan and Douglas C. Schmidt and Martin Lehofer",
  title =        "{CHARIOT}: Goal-Driven Orchestration Middleware for
                 Resilient {IoT} Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "16:1--16:37",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3134844",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3134844",
  abstract =     "An emerging trend in Internet of Things (IoT)
                 applications is to move the computation (cyber) closer
                 to the source of the data (physical). This paradigm is
                 often referred to as edge computing. If edge resources
                 are pooled together, they can be used as \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "16",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Samie:2018:DTB,
  author =       "Farzad Samie and Vasileios Tsoutsouras and Lars Bauer
                 and Sotirios Xydis and Dimitrios Soudris and J{\"o}rg
                 Henkel",
  title =        "Distributed Trade-Based Edge Device Management in
                 Multi-Gateway {IoT}",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "17:1--17:25",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3134842",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3134842",
  abstract =     "The Internet-of-Things (IoT) envisions an
                 infrastructure of ubiquitous networked smart devices
                 offering advanced monitoring and control services. The
                 current art in IoT architectures utilizes gateways to
                 enable application-specific connectivity to IoT
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "17",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Liu:2018:SMC,
  author =       "Jinwei Liu and Haiying Shen and Husnu S. Narman and
                 Wingyan Chung and Zongfang Lin",
  title =        "A Survey of Mobile Crowdsensing Techniques: a Critical
                 Component for The {Internet of Things}",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "18:1--18:26",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185504",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185504",
  abstract =     "Mobile crowdsensing serves as a critical building
                 block for emerging Internet of Things (IoT)
                 applications. However, the sensing devices continuously
                 generate a large amount of data, which consumes much
                 resources (e.g., bandwidth, energy, and storage)
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "18",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Martin:2018:SSL,
  author =       "Paul Martin and Andrew Symington and Mani Srivastava",
  title =        "{SLATS}: Simultaneous Localization and Time
                 Synchronization",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "19:1--19:25",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3134841",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3134841",
  abstract =     "As the density of wireless, resource-constrained
                 sensors grows, so does the need to choreograph their
                 actions across both time and space. Recent advances in
                 ultra-wideband RF communication have enabled accurate
                 packet timestamping, which can be used to \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "19",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Huang:2018:TBF,
  author =       "Qianyi Huang and Yan Mei and Wei Wang and Qian Zhang",
  title =        "Toward Battery-Free Wearable Devices: The Synergy
                 between Two Feet",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "20:1--20:18",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185503",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185503",
  abstract =     "Recent years have witnessed the prevalence of wearable
                 devices. Wearable devices are intelligent and
                 multifunctional, but they rely heavily on batteries.
                 This greatly limits their application scope, where
                 replacement of battery or recharging is \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "20",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Bennaceur:2018:FDM,
  author =       "Amel Bennaceur and Thein Than Tun and Arosha K.
                 Bandara and Yijun Yu and Bashar Nuseibeh",
  title =        "Feature-Driven Mediator Synthesis: Supporting
                 Collaborative Security in the {Internet of Things}",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "21:1--21:25",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3134843",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3134843",
  abstract =     "As the number, complexity, and heterogeneity of
                 connected devices in the Internet of Things (IoT)
                 increase, so does our need to secure these devices, the
                 environment in which they operate, and the assets they
                 manage or control. Collaborative security \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "21",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Bu:2018:SEC,
  author =       "Lei Bu and Wen Xiong and Chieh-Jan Mike Liang and Shi
                 Han and Dongmei Zhang and Shan Lin and Xuandong Li",
  title =        "Systematically Ensuring the Confidence of Real-Time
                 Home Automation {IoT} Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "3",
  pages =        "22:1--22:23",
  month =        jul,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185501",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:00 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185501",
  abstract =     "Recent advances and industry standards in Internet of
                 Things (IoT) have accelerated the real-world adoption
                 of connected devices. To manage this hybrid system of
                 digital real-time devices and analog environments, the
                 industry has pushed several popular \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "22",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Nguyen:2018:CPS,
  author =       "Luan V. Nguyen and Khaza Anuarul Hoque and Stanley Bak
                 and Steven Drager and Taylor T. Johnson",
  title =        "Cyber-Physical Specification Mismatches",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "23:1--23:26",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3170500",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3170500",
  abstract =     "Embedded systems use increasingly complex software and
                 are evolving into cyber-physical systems (CPS) with
                 sophisticated interaction and coupling between physical
                 and computational processes. Many CPS operate in
                 safety-critical environments and have \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "23",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Ghosh:2018:DSE,
  author =       "Rajrup Ghosh and Yogesh Simmhan",
  title =        "Distributed Scheduling of Event Analytics across Edge
                 and Cloud",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "24:1--24:28",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140256",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140256",
  abstract =     "Internet of Things (IoT) domains generate large
                 volumes of high-velocity event streams from sensors,
                 which need to be analyzed with low latency to drive
                 decisions. Complex Event Processing (CEP) is a Big Data
                 technique to enable such analytics and is \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "24",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Schmidt:2018:CPS,
  author =       "Mischa Schmidt and Anett Sch{\"u}lke and Alberto
                 Venturi and Roman Kurpatov and Enrique Blanco
                 Henr{\'\i}quez",
  title =        "Cyber-Physical System for Energy-Efficient Stadium
                 Operation: Methodology and Experimental Validation",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "25:1--25:26",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140235",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140235",
  abstract =     "The environmental impacts of medium to large-scale
                 buildings receive substantial attention in research,
                 industry, and media. This article studies the energy
                 savings potential of a commercial soccer stadium during
                 day-to-day operation. Buildings of this \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "25",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Chang:2018:AAC,
  author =       "Wanli Chang and Dip Goswami and Samarjit Chakraborty
                 and Arne Hamann",
  title =        "{OS}-Aware Automotive Controller Design Using
                 Non-Uniform Sampling",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "26:1--26:22",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3121427",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3121427",
  abstract =     "Automotive functionalities typically consist of a
                 large set of periodic/cyclic tasks scheduled under a
                 real-time operating system (OS). Many of the tasks are
                 feedback control applications with stringent
                 performance requirements. OSEK/VDX is a common
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "26",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2018:RRC,
  author =       "Xiaofeng Wang and Naira Hovakimyan and Lui Sha",
  title =        "{RSimplex}: a Robust Control Architecture for Cyber
                 And Physical Failures",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "27:1--27:26",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3121428",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3121428",
  abstract =     "As the complexity of Cyber-Physical Systems (CPS)
                 increases, it becomes increasingly challenging to
                 ensure CPS reliability, especially in the presence of
                 software and/or physical failures. The Simplex
                 architecture is shown to be an efficient tool to
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "27",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Lakshminarayana:2018:MDF,
  author =       "Subhash Lakshminarayana and Teo Zhan Teng and Rui Tan
                 and David K. Y. Yau",
  title =        "Modeling and Detecting False Data Injection Attacks
                 against Railway Traction Power Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "28:1--28:29",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3226030",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3226030",
  abstract =     "Modern urban railways extensively use computerized
                 sensing and control technologies to achieve safe,
                 reliable, and well-timed operations. However, the use
                 of these technologies may provide a convenient leverage
                 to cyber-attackers who have bypassed the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "28",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Lee:2018:GES,
  author =       "Insup Lee and Miroslav Pajic",
  title =        "Guest Editorial: Special Issue on Medical
                 Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "29:1--29:2",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3243122",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3243122",
  acknowledgement = ack-nhfb,
  articleno =    "29",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Buonocunto:2018:LTP,
  author =       "Pasquale Buonocunto and Andrea Giantomassi and Mauro
                 Marinoni and Davide Calvaresi and Giorgio Buttazzo",
  title =        "A Limb Tracking Platform for Tele-Rehabilitation",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "30:1--30:23",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3148225",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3148225",
  abstract =     "The adoption of motor-rehabilitative therapies is
                 highly demanded in a society where the average age of
                 the population is constantly increasing. A recent trend
                 to contain costs while providing high quality of
                 healthcare services is to foster the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "30",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{DeVenuto:2018:MHS,
  author =       "D. {De Venuto} and V. F. Annese and G. Mezzina and F.
                 Scioscia and M. Ruta and E. {Di Sciascio} and A.
                 {Sangiovanni Vincentelli}",
  title =        "A Mobile Health System for Neurocognitive Impairment
                 Evaluation Based on {P300} Detection",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "31:1--31:21",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140236",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140236",
  abstract =     "A new mobile healthcare system for neuro-cognitive
                 function monitoring and treatment is presented. The
                 architecture of the system features sensors to measure
                 the brain potential, localized data analysis and
                 filtering, and in-cloud distribution to \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "31",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yip:2018:TEC,
  author =       "Eugene Yip and Sidharta Andalam and Partha S. Roop and
                 Avinash Malik and Mark L. Trew and Weiwei Ai and Nitish
                 Patel",
  title =        "Towards the Emulation of the Cardiac Conduction System
                 for Pacemaker Validation",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "32:1--32:26",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3134845",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3134845",
  abstract =     "The heart is a vital organ that relies on the
                 orchestrated propagation of electrical stimuli to
                 coordinate each heartbeat. Abnormalities in the heart's
                 electrical behaviour can be managed with a cardiac
                 pacemaker. Recently, the closed-loop testing of
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "32",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Paoletti:2018:CLQ,
  author =       "Nicola Paoletti and Andrea Patan{\`e} and Marta
                 Kwiatkowska",
  title =        "Closed-Loop Quantitative Verification of Rate-Adaptive
                 Pacemakers",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "33:1--33:31",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3152767",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3152767",
  abstract =     "Rate-adaptive pacemakers are cardiac devices able to
                 automatically adjust the pacing rate in patients with
                 chronotropic incompetence, i.e., whose heart is unable
                 to provide an adequate rate at increasing levels of
                 physical, mental, or emotional \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "33",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Joerger:2018:CPS,
  author =       "Guillaume Joerger and Juliette Rambourg and Helene
                 Gaspard-Boulinc and Stephane Conversy and Barbara L.
                 Bass and Brian J. Dunkin and Marc Garbey",
  title =        "A Cyber-Physical System to Improve the Management of a
                 Large Suite of Operating Rooms",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "34:1--34:24",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140234",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140234",
  abstract =     "Cyber-physical systems have been deployed with
                 considerable success in many industries. However, the
                 implementation of cyber-physical systems in hospitals
                 has been limited. By nature, in clinical operations,
                 patient safety and consideration for health \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "34",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Geraldes:2018:FVM,
  author =       "Andr{\'e} A. Geraldes and Luca Geretti and Davide
                 Bresolin and Riccardo Muradore and Paolo Fiorini and
                 Leonardo S. Mattos and Tiziano Villa",
  title =        "Formal Verification of Medical {CPS}: a Laser Incision
                 Case Study",
  journal =      j-TCPS,
  volume =       "2",
  number =       "4",
  pages =        "35:1--35:29",
  month =        sep,
  year =         "2018",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140237",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:01 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140237",
  abstract =     "The use of robots in operating rooms improves safety
                 and decreases patient recovery time and surgeon
                 fatigue, but it introduces new potential hazards that
                 can lead to severe injury or even the loss of human
                 life. Thus, safety has been perceived as a \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "35",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Bhuiyan:2019:DCP,
  author =       "Md Zakirul Alam Bhuiyan and Sy-yen Kuo and Damian
                 Lyons and Zili Shao",
  title =        "Dependability in Cyber-Physical Systems and
                 Applications",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "1:1--1:4",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3271432",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3271432",
  acknowledgement = ack-nhfb,
  articleno =    "1",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Tan:2019:CDN,
  author =       "Feng Tan and Liansheng Liu and Stefan Winter and Qixin
                 Wang and Neeraj Suri and Lei Bu and Yu Peng and Xue Liu
                 and Xiyuan Peng",
  title =        "Cross-Domain Noise Impact Evaluation for Black Box
                 Two-Level Control {CPS}",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "2:1--2:25",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3226029",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3226029",
  abstract =     "Control Cyber-Physical Systems (CPSs) constitute a
                 major category of CPS. In control CPSs, in addition to
                 the well-studied noises within the physical subsystem,
                 we are interested in evaluating the impact of
                 cross-domain noise: the noise that comes from
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "2",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Ma:2019:HCP,
  author =       "Yehan Ma and Dolvara Gunatilaka and Bo Li and Humberto
                 Gonzalez and Chenyang Lu",
  title =        "Holistic Cyber-Physical Management for Dependable
                 Wireless Control Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "3:1--3:25",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3185510",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3185510",
  abstract =     "Wireless sensor-actuator networks (WSANs) are gaining
                 momentum in industrial process automation as a
                 communication infrastructure for lowering deployment
                 and maintenance costs. In traditional wireless control
                 systems, the plant controller and the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "3",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Xie:2019:RCA,
  author =       "Guoqi Xie and Gang Zeng and Jiyao An and Renfa Li and
                 Keqin Li",
  title =        "Resource-Cost-Aware Fault-Tolerant Design Methodology
                 for End-to-End Functional Safety Computation on
                 Automotive Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "4:1--4:27",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3162052",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3162052",
  abstract =     "Automotive functional safety standard ISO 26262 aims
                 to avoid unreasonable risks due to systematic failures
                 and random hardware failures caused by malfunctioning
                 behavior. Automotive functions involve distributed
                 end-to-end computation in automotive \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "4",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Liu:2019:DVL,
  author =       "Yang Liu and Xiaoming Chen and Dileep Kadambi and
                 Ajinkya Bari and Xin Li and Shiyan Hu and Pingqiang
                 Zhou",
  title =        "Dependable Visual Light-Based Indoor Localization with
                 Automatic Anomaly Detection for Location-Based Service
                 of Mobile Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "5:1--5:17",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3162051",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3162051",
  abstract =     "Indoor localization has become popular in recent years
                 due to the increasing need of location-based services
                 in mobile cyber-physical systems (CPS). The massive
                 deployment of light emitting diodes (LEDs) further
                 promotes the indoor localization using \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "5",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2019:ILD,
  author =       "Tian Wang and Wenhua Wang and Anfeng Liu and Shaobin
                 Cai and Jiannong Cao",
  title =        "Improve the Localization Dependability for
                 Cyber-Physical Applications",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "6:1--6:21",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140240",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140240",
  abstract =     "Localization for mobile group users is one of the
                 important applications in cyber-physical systems.
                 However, due to the sparse deployment of anchors and
                 the instability of signals in the wireless environment,
                 users cannot receive information from \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "6",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2019:DTS,
  author =       "Chang Wang and Yongxin Zhu and Weiwei Shi and Victor
                 Chang and P. Vijayakumar and Bin Liu and Yishu Mao and
                 Jiabao Wang and Yiping Fan",
  title =        "A Dependable Time Series Analytic Framework for
                 Cyber-Physical Systems of {IoT}-based Smart Grid",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "7:1--7:18",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3145623",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3145623",
  abstract =     "With the emergence of cyber-physical systems (CPS), we
                 are now at the brink of next computing revolution. The
                 Smart Grid (SG) built on top of IoT (Internet of
                 Things) is one of the foundations of this CPS
                 revolution, which involves a large number of \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "7",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yu:2019:PPD,
  author =       "Jiahui Yu and Kun Wang and Deze Zeng and Chunsheng Zhu
                 and Song Guo",
  title =        "Privacy-preserving Data Aggregation Computing in
                 Cyber-Physical Social Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "8:1--8:23",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3145625",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3145625",
  abstract =     "In cyber-physical social systems (CPSS), a group of
                 volunteers report data about the physical environment
                 through their cyber devices and data aggregation is
                 widely utilized. An important issue in data aggregation
                 for CPSS is to protect users' privacy. \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "8",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Li:2019:SCD,
  author =       "Ning Li and Zheng Yan and Mingjun Wang and Laurence T.
                 Yang",
  title =        "Securing Communication Data in Pervasive Social
                 Networking Based on Trust with {KP-ABE}",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "9:1--9:23",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3145624",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3145624",
  abstract =     "Pervasive Social Networking (PSN) intends to support
                 instant social activities in a pervasive way at any
                 time and anywhere. In order to protect crucial social
                 activities, ensure communication dependability, and
                 enhance user privacy, securing pervasive \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "9",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Li:2019:RAS,
  author =       "Beibei Li and Rongxing Lu and Kim-Kwang Raymond Choo
                 and Wei Wang and Sheng Luo",
  title =        "On Reliability Analysis of Smart Grids under Topology
                 Attacks: a Stochastic {Petri} Net Approach",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "10:1--10:25",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3127021",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3127021",
  abstract =     "Building an efficient, smart, and multifunctional
                 power grid while maintaining high reliability and
                 security is an extremely challenging task, particularly
                 in the ever-evolving cyber threat landscape. The
                 challenge is also compounded by the increasing
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "10",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zhang:2019:DDC,
  author =       "Qingchen Zhang and Laurence T. Yang and Zhikui Chen
                 and Peng Li",
  title =        "Dependable Deep Computation Model for Feature Learning
                 on Big Data in Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "11:1--11:17",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3110218",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3110218",
  abstract =     "With the ongoing development of sensor devices and
                 network techniques, big data are being generated from
                 the cyber-physical systems. Because of sensor equipment
                 occasional failure and network transmission
                 unreliability, a large number of low-quality \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "11",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Jiang:2019:DMD,
  author =       "Yu Jiang and Houbing Song and Yixiao Yang and Han Liu
                 and Ming Gu and Yong Guan and Jiaguang Sun and Lui
                 Sha",
  title =        "Dependable Model-driven Development of {CPS}: From
                 Stateflow Simulation to Verified Implementation",
  journal =      j-TCPS,
  volume =       "3",
  number =       "1",
  pages =        "12:1--12:31",
  month =        jan,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3078623",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:02 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3078623",
  abstract =     "Simulink is widely used for model-driven development
                 (MDD) of cyber-physical systems. Typically, the
                 Simulink-based development starts with Stateflow
                 modeling, followed by simulation, validation, and code
                 generation mapped to physical execution \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "12",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wan:2019:PLK,
  author =       "Jiang Wan and Anthony Lopez and Mohammad Abdullah {Al
                 Faruque}",
  title =        "Physical Layer Key Generation: Securing Wireless
                 Communication in Automotive Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "13:1--13:26",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3140257",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3140257",
  abstract =     "Modern automotive Cyber-Physical Systems (CPS) are
                 increasingly adopting wireless communications for
                 Intra-Vehicular, Vehicle-to-Vehicle (V2V), and
                 Vehicle-to-Infrastructure (V2I) protocols as a
                 promising solution for challenges such as the wire
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "13",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Huang:2019:TNL,
  author =       "Pei-Chi Huang and Luis Sentis and Joel Lehman and
                 Chien-Liang Fok and Aloysius K. Mok and Risto
                 Miikkulainen",
  title =        "Tradeoffs in Neuroevolutionary Learning-Based
                 Real-Time Robotic Task Design in the Imprecise
                 Computation Framework",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "14:1--14:29",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3178903",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3178903",
  abstract =     "A cyberphysical avatar is a semi-autonomous robot that
                 adjusts to an unstructured environment and performs
                 physical tasks subject to critical timing constraints
                 while under human supervision. This article first
                 realizes a cyberphysical avatar that \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "14",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Sinha:2019:TSR,
  author =       "Roopak Sinha and Barry Dowdeswell and Gulnara
                 Zhabelova and Valeriy Vyatkin",
  title =        "{TORUS}: Scalable Requirements Traceability for
                 Large-Scale Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "15:1--15:25",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3203208",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3203208",
  abstract =     "Cyber-Physical Systems (CPS) contain intertwined and
                 distributed software, hardware, and physical components
                 to control complex physical processes. They find wide
                 application in industrial systems, such as smart grid
                 protection systems, which face \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "15",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Tremel:2019:AFT,
  author =       "Edward Tremel and Ken Birman and Robert Kleinberg and
                 M{\'a}rk Jelasity",
  title =        "Anonymous, Fault-Tolerant Distributed Queries for
                 Smart Devices",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "16:1--16:29",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3204411",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3204411",
  abstract =     "Applications that aggregate and query data from
                 distributed embedded devices are of interest in many
                 settings, such as smart buildings and cities, the smart
                 power grid, and mobile health applications. However,
                 such devices also pose serious privacy \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "16",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Iyengar:2019:ISS,
  author =       "Srinivasan Iyengar and Sandeep Kalra and Anushree
                 Ghosh and David Irwin and Prashant Shenoy and Benjamin
                 Marlin",
  title =        "Inferring Smart Schedules for Dumb Thermostats",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "17:1--17:29",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3226031",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3226031",
  abstract =     "Heating, ventilation, and air conditioning (HVAC)
                 accounts for over 50\% of a typical home's energy
                 usage. A thermostat generally controls HVAC usage in a
                 home to ensure user comfort. In this article, we focus
                 on making existing ``dumb'' programmable \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "17",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Ceccarelli:2019:TAS,
  author =       "Andrea Ceccarelli and Tommaso Zoppi and Alexandr
                 Vasenev and Marco Mori and Dan Ionita and Lorena
                 Montoya and Andrea Bondavalli",
  title =        "Threat Analysis in Systems-of-Systems: an
                 Emergence-Oriented Approach",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "18:1--18:24",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3234513",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3234513",
  abstract =     "Cyber-physical Systems of Systems (SoSs) are
                 large-scale systems made of independent and autonomous
                 cyber-physical Constituent Systems (CSs) which may
                 interoperate to achieve high-level goals also with the
                 intervention of humans. Providing security in
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "18",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Biagi:2019:MBQ,
  author =       "Marco Biagi and Laura Carnevali and Fabio Tarani and
                 Enrico Vicario",
  title =        "Model-Based Quantitative Evaluation of Repair
                 Procedures in Gas Distribution Networks",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "19:1--19:26",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3284037",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3284037",
  abstract =     "We propose an approach for assessing the impact of
                 multi-phased repair procedures on gas distribution
                 networks, capturing load profiles that can depend on
                 time for different classes of users, suspension of
                 activities during non-working hours, and random
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "19",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Badenhop:2019:LUH,
  author =       "C. W. Badenhop and S. R. Graham and B. E. Mullins and
                 L. O. Mailloux",
  title =        "Looking Under the {Hood} of {Z-Wave}: Volatile Memory
                 Introspection for the {ZW0301} Transceiver",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "20:1--20:24",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3285030",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3285030",
  abstract =     "Z-Wave is a proprietary Internet of Things substrate
                 providing distributed home and office automation
                 services. The proprietary nature of Z-Wave devices
                 makes it difficult to determine their security
                 aptitude. While there are a variety of open source
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "20",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zhang:2019:NST,
  author =       "Desheng Zhang and Tian He and Fan Zhang",
  title =        "National-scale Traffic Model Calibration in Real Time
                 with Multi-source Incomplete Data",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "21:1--21:26",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300186",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300186",
  abstract =     "Real-time traffic modeling at national scale is
                 essential to many applications, but its calibration is
                 extremely challenging due to its large spatial and fine
                 temporal coverage. The existing work is focused on
                 urban-scale calibration with complete field \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "21",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Koch:2019:RLU,
  author =       "William Koch and Renato Mancuso and Richard West and
                 Azer Bestavros",
  title =        "Reinforcement Learning for {UAV} Attitude Control",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "22:1--22:21",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3301273",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3301273",
  abstract =     "Autopilot systems are typically composed of an ``inner
                 loop'' providing stability and control, whereas an
                 ``outer loop'' is responsible for mission-level
                 objectives, such as way-point navigation. Autopilot
                 systems for unmanned aerial vehicles are \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "22",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Barker:2019:BVP,
  author =       "Sean Barker and Sandeep Kalra and David Irwin and
                 Prashant Shenoy",
  title =        "Building Virtual Power Meters for Online Load
                 Tracking",
  journal =      j-TCPS,
  volume =       "3",
  number =       "2",
  pages =        "23:1--23:24",
  month =        mar,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3303860",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:03 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3303860",
  abstract =     "Many energy optimizations require fine-grained,
                 load-level energy data collected in real time, most
                 typically by a plug-level energy meter. Online load
                 tracking is the problem of monitoring an individual
                 electrical load's energy usage in software by
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "23",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Almeida:2019:ISI,
  author =       "Luis Almeida and Bjorn Andersson and Jen-Wei Hsieh and
                 Li-Pin Chang and Xiaobo Sharon Hu",
  title =        "Introduction to the Special Issue on Real-Time aspects
                 in Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "24:1--24:2",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3342564",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3342564",
  acknowledgement = ack-nhfb,
  articleno =    "24",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Aoki:2019:CSP,
  author =       "Shunsuke Aoki and Ragunathan (Raj) Rajkumar",
  title =        "{CSIP}: a Synchronous Protocol for Automated Vehicles
                 at Road Intersections",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "25:1--25:25",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3226032",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3226032",
  abstract =     "Intersection management is one of the main challenging
                 issues in road safety because intersections are a
                 leading cause of traffic congestion and accidents. In
                 fact, more than 44\% of all reported crashes in the
                 U.S. occur around intersection areas, which,.
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "25",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Parsch:2019:ARU,
  author =       "Philip Parsch and Alejandro Masrur",
  title =        "Accounting for Reliability in Unacknowledged
                 Time-Constrained {WSNs}",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "26:1--26:28",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3241746",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3241746",
  abstract =     "Wireless sensor networks typically consist of nodes
                 that collect and transmit data periodically. In this
                 context, we are concerned with unacknowledged
                 communication, such as where data packets are not
                 confirmed upon successful reception. This allows
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "26",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Loureiro:2019:EAR,
  author =       "Jo{\~a}o Loureiro and Raghuraman Rangarajan and
                 Borislav Nikolic and Leandro Soares Indrusiak and
                 Eduardo Tovar",
  title =        "Extensive Analysis of a Real-Time Dense Wired Sensor
                 Network Based on Traffic Shaping",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "27:1--27:27",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3230872",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3230872",
  abstract =     "XDense is a novel wired 2D mesh grid sensor network
                 system for application scenarios that benefit from
                 densely deployed sensing (e.g., thousands of sensors
                 per square meter). It was conceived for cyber-physical
                 systems that require real-time sensing and \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "27",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Kim:2019:DTP,
  author =       "Baekgyu Kim and Lu Feng and Oleg Sokolsky and Insup
                 Lee",
  title =        "Determining Timing Parameters for the Code Generation
                 from Platform-Independent Timed Models",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "28:1--28:32",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3230711",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3230711",
  abstract =     "Safety-critical embedded systems often need to meet
                 dependability requirements such as strict input/output
                 timing constraints. To meet the timing requirements,
                 the code generation (e.g., C code) from timed models
                 needs to determine the timing parameters \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "28",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2019:RTM,
  author =       "Chao Wang and Christopher Gill and Chenyang Lu",
  title =        "Real-Time Middleware for Cyber-Physical Event
                 Processing",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "29:1--29:25",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3218816",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3218816",
  abstract =     "Cyber-physical systems (CPS) involve tight integration
                 of cyber (computation) and physical domains, and both
                 the effectiveness and correctness of a cyber-physical
                 system application may rely on successful enforcement
                 of constraints such as bounded \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "29",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Roehm:2019:MCC,
  author =       "Hendrik Roehm and Jens Oehlerking and Matthias Woehrle
                 and Matthias Althoff",
  title =        "Model Conformance for Cyber-Physical Systems: a
                 Survey",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "30:1--30:26",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3306157",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3306157",
  abstract =     "Model-based development is an important paradigm for
                 developing cyber-physical systems (CPS). The underlying
                 assumption is that the functional behavior of a model
                 is related to the behavior of a more concretized model
                 or the real system. A formal \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "30",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Rabadi:2019:RCS,
  author =       "Dima Rabadi and Rui Tan and David K. Y. Yau and
                 Sreejaya Viswanathan and Hao Zheng and Peng Cheng",
  title =        "Resilient Clock Synchronization Using Power Grid
                 Voltage",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "31:1--31:26",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3342048",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3342048",
  abstract =     "Many clock synchronization protocols based on message
                 passing, e.g., the Network Time Protocol (NTP), assume
                 symmetric network delays to estimate the one-way packet
                 transmission time as half of the round-trip time. As a
                 result, asymmetric network delays \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "31",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Pan:2019:MOS,
  author =       "Chen Pan and Mimi Xie and Song Han and Zhi-Hong Mao
                 and Jingtong Hu",
  title =        "Modeling and Optimization for Self-powered
                 Non-volatile {IoT} Edge Devices with Ultra-low
                 Harvesting Power",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "32:1--32:26",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3324609",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3324609",
  abstract =     "Energy harvesters are becoming increasingly popular as
                 power sources for IoT edge devices. However, one of the
                 intrinsic problems of energy harvester is that
                 harvesting power is often weak and frequently
                 interrupted. Therefore, energy harvesting powered
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "32",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Medina:2019:DCI,
  author =       "R{\'o}binson Medina and Juan Valencia and Sander
                 Stuijk and Dip Goswami and Twan Basten",
  title =        "Designing a Controller with Image-based Pipelined
                 Sensing and Additive Uncertainties",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "33:1--33:26",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3326067",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3326067",
  abstract =     "Pipelined image-based control uses parallel instances
                 of its image-processing algorithm in a pipelined
                 fashion to improve the quality of control. A
                 performance-oriented control design improves the
                 controller settling time with each additional
                 processing \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "33",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Valente:2019:ISV,
  author =       "Junia Valente and Kanchan Bahirat and Kelly Venechanos
                 and Alvaro A. Cardenas and Prabhakaran Balakrishnan",
  title =        "Improving the Security of Visual Challenges",
  journal =      j-TCPS,
  volume =       "3",
  number =       "3",
  pages =        "34:1--34:26",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3331183",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:04 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3331183",
  abstract =     "This article proposes new tools to detect the
                 tampering of video feeds from surveillance cameras. Our
                 proposal illustrates the unique cyber-physical
                 properties that sensor devices can leverage for their
                 cyber-security. While traditional attestation
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "34",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wei:2019:ISI,
  author =       "Tongquan Wei and Junlong Zhou and Rajiv Ranjan and
                 Isaac Triguero and Huafeng Yu and Chun Jason Xue and
                 Schahram Dustdar",
  title =        "Introduction to the Special Issue on
                 Human-interaction-aware Data Analytics for
                 Cyber-physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "35e:1--35e:2",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3344260",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3344260",
  acknowledgement = ack-nhfb,
  articleno =    "35e",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2019:DTT,
  author =       "Xiaokang Wang and Laurence T. Yang and Yihao Wang and
                 Xingang Liu and Qingxia Zhang and M. Jamal Deen",
  title =        "A Distributed Tensor-Train Decomposition Method for
                 Cyber-Physical-Social Services",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "35:1--35:15",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3323926",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3323926",
  abstract =     "Cyber-Physical-Social Systems (CPSS) integrating the
                 cyber, physical, and social worlds is a key technology
                 to provide proactive and personalized services for
                 humans. In this paper, we studied CPSS by taking
                 human-interaction-aware big data (HIBD) as \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "35",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wu:2019:CYC,
  author =       "Tingmin Wu and Lihong Tang and Rongjunchen Zhang and
                 Sheng Wen and Cecile Paris and Surya Nepal and Marthie
                 Grobler and Yang Xiang",
  title =        "Catering to Your Concerns: Automatic Generation of
                 Personalised Security-Centric Descriptions for
                 {Android} Apps",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "36:1--36:21",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3317699",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3317699",
  abstract =     "Android users are increasingly concerned with the
                 privacy of their data and security of their devices. To
                 improve the security awareness of users, recent
                 automatic techniques produce security-centric
                 descriptions by performing program analysis. However,
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "36",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Li:2019:SUB,
  author =       "Wei Li and Xiaomin Chang and Junwei Cao and Ting Yang
                 and Yaojie Sun and Albert Y. Zomaya",
  title =        "A Sustainable and User-Behavior-Aware Cyber-Physical
                 System for Home Energy Management",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "37:1--37:24",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3320075",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3320075",
  abstract =     "There is a growing trend for employing cyber-physical
                 systems to help smart homes improve the comfort of
                 residents. However, a residential cyber-physical system
                 is different from a common cyber-physical system since
                 it directly involves human \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "37",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Xiao:2019:ILD,
  author =       "Fu Xiao and Jing Chen and Zhetao Li and Haiping Huang
                 and Lijuan Sun",
  title =        "Improved {LDA} Dimension Reduction Based Behavior
                 Learning with Commodity {WiFi} for Cyber-Physical
                 Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "38:1--38:19",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3342219",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3342219",
  abstract =     "In recent years, rapid development of sensing and
                 computing has led to very large datasets. There is an
                 urgent demand for innovative data analysis and
                 processing techniques that are secure,
                 privacy-protected and sustainable. In this article,
                 taking \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "38",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Xie:2019:HIA,
  author =       "Guoqi Xie and Yang Bai and Wei Wu and Yanwen Li and
                 Renfa Li and Keqin Li",
  title =        "Human-Interaction-aware Adaptive Functional Safety
                 Processing for Multi-Functional Automotive
                 Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "39:1--39:25",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3337931",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3337931",
  abstract =     "The functional safety research for automotive
                 cyber-physical systems (ACPS) has been studied in
                 recent years; however, these studies merely consider
                 the change in the exposure of the functional safety
                 classification and assume that the driver's \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "39",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Huang:2019:EEE,
  author =       "Hui Huang and Shiyan Hu and Ye Sun",
  title =        "Energy-Efficient {ECG} Signal Compression for User
                 Data Input in Cyber-Physical Systems by Leveraging
                 Empirical Mode Decomposition",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "40:1--40:19",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3341559",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3341559",
  abstract =     "Human physiological data are naturalistic and
                 objective user data inputs for a great number of
                 cyber-physical systems (CPS). Electrocardiogram (ECG)
                 as a widely used physiological golden indicator for
                 certain human state and disease diagnosis is often
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "40",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yoon:2019:SAP,
  author =       "Hyung-Jin Yoon and Christopher Widdowson and Thiago
                 Marinho and Ranxiao Frances Wang and Naira Hovakimyan",
  title =        "Socially Aware Path Planning for a Flying Robot in
                 Close Proximity of Humans",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "41:1--41:24",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3341570",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3341570",
  abstract =     "In this article, we present a preliminary motion
                 planning framework for a cyber-physical system
                 consisting of a human and a flying robot in vicinity.
                 The motion planning of the flying robot takes into
                 account the human's safety perception. We aim to
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "41",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yang:2019:CBC,
  author =       "Chaoqun Yang and Li Feng and Zhiguo Shi and Rongxing
                 Lu and Kim-Kwang Raymond Choo",
  title =        "A Crowdsensing-based Cyber-physical System for Drone
                 Surveillance Using Random Finite Set Theory",
  journal =      j-TCPS,
  volume =       "3",
  number =       "4",
  pages =        "42:1--42:22",
  month =        oct,
  year =         "2019",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3342049",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:05 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3342049",
  abstract =     "Given the popularity of drones for leisure,
                 commercial, and government (e.g., military) usage,
                 there is increasing focus on drone regulation. For
                 example, how can the city council or some government
                 agency detect and track drones more efficiently and
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "42",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Chakraborty:2020:ISI,
  author =       "Samarjit Chakraborty and Tian He",
  title =        "Introduction to the Special Issue on Transportation
                 Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "1:1--1:3",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3372495",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3372495",
  acknowledgement = ack-nhfb,
  articleno =    "1",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Gilanifar:2020:BSG,
  author =       "Mostafa Gilanifar and Hui Wang and Eren Erman Ozguven
                 and Yuxun Zhou and Reza Arghandeh",
  title =        "{Bayesian} Spatiotemporal {Gaussian} Process for
                 Short-term Load Forecasting Using Combined
                 Transportation and Electricity Data",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "2:1--2:25",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300185",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300185",
  abstract =     "Smart cities can be viewed as large-scale
                 Cyber-Physical Systems (CPS) where different sensors
                 and devices record the cyber and physical indicators of
                 the city systems. The collected data are used for
                 improving urban life by offering services such as
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "2",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zheng:2020:DAD,
  author =       "Bowen Zheng and Chung-Wei Lin and Shinichi Shiraishi
                 and Qi Zhu",
  title =        "Design and Analysis of Delay-Tolerant Intelligent
                 Intersection Management",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "3:1--3:27",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300184",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300184",
  abstract =     "The rapid development of vehicular network and
                 autonomous driving technologies provides opportunities
                 to significantly improve transportation safety and
                 efficiency. One promising application is centralized
                 intelligent intersection management, where an
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "3",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Mukherjee:2020:TRR,
  author =       "Subhojeet Mukherjee and Jeffrey C. {Van Etten} and
                 Namburi Rani Samyukta and Jacob Walker and Indrakshi
                 Ray and Indrajit Ray",
  title =        "{TruckSTM}: Runtime Realization of Operational State
                 Transitions for Medium and Heavy Duty Vehicles",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "4:1--4:25",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300183",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300183",
  abstract =     "Embedded computing devices play an integral role in
                 the mechanical operations of modern-day vehicles. These
                 devices exchange information containing critical
                 vehicle parameters that reflect the current state of
                 operations. Such information can be \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "4",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{VanDeHoef:2020:PFD,
  author =       "Sebastian {Van De Hoef} and Jonas M{\aa}rtensson and
                 Dimos V. Dimarogonas and Karl Henrik Johansson",
  title =        "A Predictive Framework for Dynamic Heavy-Duty Vehicle
                 Platoon Coordination",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "5:1--5:25",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3299110",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3299110",
  abstract =     "This article describes a system to facilitate dynamic
                 en route formation of heavy-duty vehicle platoons with
                 the goal of reducing fuel consumption. Safe vehicle
                 platooning is a maturing technology that leverages
                 modern sensor, control, and communication \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "5",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Guan:2020:DRF,
  author =       "Yue Guan and Anuradha M. Annaswamy and H. Eric Tseng",
  title =        "A Dynamic Routing Framework for Shared Mobility
                 Services",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "6:1--6:28",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300181",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300181",
  abstract =     "Travel time in urban centers is a significant
                 contributor to the quality of living of its citizens.
                 Mobility on Demand (MoD) services such as Uber and Lyft
                 have revolutionized the transportation infrastructure,
                 enabling new solutions for passengers. \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "6",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Lim:2020:DIT,
  author =       "Hoon Wei Lim and William G. Temple and Bao Anh N. Tran
                 and Binbin Chen and Zbigniew Kalbarczyk and Jianying
                 Zhou",
  title =        "Data Integrity Threats and Countermeasures in Railway
                 Spot Transmission Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "7:1--7:26",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3300179",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3300179",
  abstract =     "Modern trains rely on balises (communication beacons)
                 located on the track to provide location information as
                 they traverse a rail network. Balises, such as those
                 conforming to the Eurobalise standard, were not
                 designed with security in mind and are \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "7",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Kim:2020:TSG,
  author =       "Baekgyu Kim and Takato Masuda and Shinichi Shiraishi",
  title =        "Test Specification and Generation for Connected and
                 Autonomous Vehicle in Virtual Environments",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "8:1--8:26",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3311954",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3311954",
  abstract =     "The trend of connected/autonomous features adds
                 significant complexity to the traditional automotive
                 systems to improve driving safety and comfort.
                 Engineers are facing significant challenges in
                 designing test environments that are more complex than
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "8",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Barnwal:2020:PDT,
  author =       "Rajesh P. Barnwal and Nirnay Ghosh and Soumya K. Ghosh
                 and Sajal K. Das",
  title =        "Publish or Drop Traffic Event Alerts? {Quality}-aware
                 Decision Making in Participatory Sensing-based
                 Vehicular {CPS}",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "9:1--9:28",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3321480",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3321480",
  abstract =     "Vehicular cyber-physical systems (VCPS), among several
                 other applications, may help address an ever-increasing
                 challenge of traffic congestion in large cities.
                 Nevertheless, VCPS can be hindered by information
                 falsification problem, resulting due to the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "9",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Asplund:2020:CDV,
  author =       "Mikael Asplund",
  title =        "Combining Detection and Verification for Secure
                 Vehicular Cooperation Groups",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "10:1--10:31",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3322129",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3322129",
  abstract =     "Coordinated vehicles for intelligent traffic
                 management are instances of cyber-physical systems with
                 strict correctness requirements. A key building block
                 for these systems is the ability to establish a group
                 membership view that accurately captures the \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "10",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Cheh:2020:MAP,
  author =       "Carmen Cheh and Binbin Chen and William G. Temple and
                 William H. Sanders",
  title =        "Modeling Adversarial Physical Movement in a Railway
                 Station: Classification and Metrics",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "11:1--11:25",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3349584",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3349584",
  abstract =     "Many real-world attacks on cyber-physical systems
                 involve physical intrusions that directly cause damage
                 or facilitate cyber attacks. Hence, in this work, we
                 investigate the security risk of organizations with
                 respect to different adversarial models of \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "11",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Ko:2020:DWB,
  author =       "Woo-Hyun Ko and Bharadwaj Satchidanandan and P. R.
                 Kumar",
  title =        "Dynamic Watermarking-based Defense of Transportation
                 Cyber-physical Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "12:1--12:21",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3361700",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/cryptography2020.bib;
                 http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3361700",
  abstract =     "The transportation sector is on the threshold of a
                 revolution as advances in real-time communication,
                 real-time computing, and sensing technologies have
                 brought to fruition the capability to build
                 Transportation Cyber-Physical Systems (TCPS) such as
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "12",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Bi:2020:SWH,
  author =       "Chongguang Bi and Jun Huang and Guoliang Xing and
                 Landu Jiang and Xue Liu and Minghua Chen",
  title =        "{SafeWatch}: a Wearable Hand Motion Tracking System
                 for Improving Driving Safety",
  journal =      j-TCPS,
  volume =       "4",
  number =       "1",
  pages =        "13:1--13:21",
  month =        jan,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3360323",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:06 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3360323",
  abstract =     "Driving while distracted or losing alertness
                 significantly increases the risk of traffic accident.
                 The emerging Internet of Things (IoT) systems for smart
                 driving hold the promise of significantly reducing road
                 accidents. In particular, detecting unsafe \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "13",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Ma:2020:DSM,
  author =       "Meiyi Ma and Sarah M. Preum and Mohsin Y. Ahmed and
                 William T{\"a}rneberg and Abdeltawab Hendawi and John
                 A. Stankovic",
  title =        "Data Sets, Modeling, and Decision Making in Smart
                 Cities: a Survey",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "14:1--14:28",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3355283",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3355283",
  abstract =     "Cities are deploying tens of thousands of sensors and
                 actuators and developing a large array of smart
                 services. The smart services use sophisticated models
                 and decision-making policies supported by Cyber
                 Physical Systems and Internet of Things \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "14",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Munir:2020:RCL,
  author =       "Sirajum Munir and Hao-Tsung Yang and Shan Lin and S.
                 M. Shahriar Nirjon and Chen Lin and Enamul Hoque and
                 John A. Stankovic and Kamin Whitehouse",
  title =        "Reliable Communication and Latency Bound Generation in
                 Wireless Cyber-Physical Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "15:1--15:26",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3354917",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3354917",
  abstract =     "Low-power wireless communication has been widely used
                 in cyber-physical systems that require time-critical
                 data delivery. Achieving this goal is challenging
                 because of link burstiness and interference. Based on
                 significant empirical evidence of 21 days \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "15",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Babun:2020:SLB,
  author =       "Leonardo Babun and Hidayet Aksu and A. Selcuk
                 Uluagac",
  title =        "A System-level Behavioral Detection Framework for
                 Compromised {CPS} Devices: Smart-Grid Case",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "16:1--16:28",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3355300",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3355300",
  abstract =     "Cyber-Physical Systems (CPS) play a significant role
                 in our critical infrastructure networks from
                 power-distribution to utility networks. The emerging
                 smart-grid concept is a compelling critical CPS
                 infrastructure that relies on two-way communications
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "16",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Yan:2020:TOV,
  author =       "Li Yan and Haiying Shen",
  title =        "{TOP}: Optimizing Vehicle Driving Speed with Vehicle
                 Trajectories for Travel Time Minimization and Road
                 Congestion Avoidance",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "17:1--17:25",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3362162",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3362162",
  abstract =     "Traffic congestion control is pivotal for intelligent
                 transportation systems. Previous works optimize vehicle
                 speed for different objectives such as minimizing fuel
                 consumption and minimizing travel time. However, they
                 overlook the possible congestion \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "17",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Baumann:2020:FFC,
  author =       "Dominik Baumann and Fabian Mager and Romain Jacob and
                 Lothar Thiele and Marco Zimmerling and Sebastian
                 Trimpe",
  title =        "Fast Feedback Control over Multi-hop Wireless Networks
                 with Mode Changes and Stability Guarantees",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "18:1--18:32",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3361846",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3361846",
  abstract =     "Closing feedback loops fast and over long distances is
                 key to emerging cyber-physical applications; for
                 example, robot motion control and swarm coordination
                 require update intervals of tens of milliseconds.
                 Low-power wireless communication technology is
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "18",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Harbin:2020:APM,
  author =       "J. Harbin and A. Burns and R. I. Davis and L. S.
                 Indrusiak and I. Bate and D. Griffin",
  title =        "The {AirTight} Protocol for Mixed Criticality Wireless
                 {CPS}",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "19:1--19:28",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3362987",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3362987",
  abstract =     "This article describes the motivation, design,
                 analysis, and configuration of the criticality-aware
                 multi-hop wireless communication protocol AirTight.
                 Wireless communication has become a crucial part of the
                 infrastructure of many cyber-physical \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "19",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Khayatian:2020:CTA,
  author =       "Mohammad Khayatian and Yingyan Lou and Mohammadreza
                 Mehrabian and Aviral Shirvastava",
  title =        "{Crossroads+}: a Time-aware Approach for Intersection
                 Management of Connected Autonomous Vehicles",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "20:1--20:28",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3364182",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3364182",
  abstract =     "As vehicles become autonomous and connected,
                 intelligent management techniques can be utilized to
                 operate an intersection without a traffic light. When a
                 Connected Autonomous Vehicle (CAV) approaches an
                 intersection, it shares its status and intended
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "20",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Pereyda:2020:CPS,
  author =       "Christopher Pereyda and Nisha Raghunath and Bryan
                 Minor and Garrett Wilson and Maureen
                 Schmitter-Edgecombe and Diane J. Cook",
  title =        "Cyber-physical Support of Daily Activities: a
                 Robot\slash Smart Home Partnership",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "21:1--21:24",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3365225",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3365225",
  abstract =     "This article introduces RAS, a cyber-physical system
                 that supports individuals with memory limitations to
                 perform daily activities in their own homes. RAS
                 represents a partnership between a smart home, a robot,
                 and software agents. When smart home \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "21",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Li:2020:DIS,
  author =       "Kai Li and Wei Ni and Yousef Emami and Yiran Shen and
                 Ricardo Severino and David Pereira and Eduardo Tovar",
  title =        "Design and Implementation of Secret Key Agreement for
                 Platoon-based Vehicular Cyber-physical Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "22:1--22:20",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3365996",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3365996",
  abstract =     "In a platoon-based vehicular cyber-physical system
                 (PVCPS), a lead vehicle that is responsible for
                 managing the platoon's moving directions and velocity
                 periodically disseminates control messages to the
                 vehicles that follow. Securing wireless \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "22",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Gavrilut:2020:TTA,
  author =       "Voica Gavrilut and Paul Pop",
  title =        "Traffic-type Assignment for {TSN}-based
                 Mixed-criticality Cyber-physical Systems",
  journal =      j-TCPS,
  volume =       "4",
  number =       "2",
  pages =        "23:1--23:27",
  month =        feb,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3371708",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3371708",
  abstract =     "This article focuses on mixed-criticality applications
                 with functions that have different timing requirements,
                 i.e., hard real-time (HRT), soft real-time (SRT), and
                 functions that are not time-critical (NC). The
                 applications are implemented on \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "23",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Fu:2020:UMS,
  author =       "Zhicheng Fu and Chunhui Guo and Zhenyu Zhang and
                 Shangping Ren and Lui Sha",
  title =        "{UACFinder}: Mining Syntactic Carriers of Unspecified
                 Assumptions in Medical Cyber-Physical System Design
                 Models",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "24:1--24:25",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3375405",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3375405",
  abstract =     "During the system development process, domain experts
                 and developers often make assumptions about
                 specifications and implementations. However, most of
                 the assumptions being taken for granted by domain
                 experts and developers are too tedious to be \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "24",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Zhang:2020:HMT,
  author =       "Zhenyong Zhang and Ruilong Deng and David K. Y. Yau
                 and Peng Cheng and Jiming Chen",
  title =        "On Hiddenness of Moving Target Defense against False
                 Data Injection Attacks on Power Grid",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "25:1--25:29",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3372751",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3372751",
  abstract =     "Recent studies have exploited moving target defense
                 (MTD) for thwarting false data injection (FDI) attacks
                 against the state estimation (SE) by actively
                 perturbing branch parameters (i.e., impedance or
                 admittance) in power grids. To hide the activation
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "25",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Tamimi:2020:CTI,
  author =       "Ali Tamimi and Adam Hahn and Sandip Roy",
  title =        "Cyber Threat Impact Analysis to Air Traffic Flows
                 Through Dynamic Queue Networks",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "26:1--26:22",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3377425",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3377425",
  abstract =     "Air traffic control (ATC) increasingly depends on
                 information and communication technology to manage
                 traffic flow through highly congested and increasingly
                 interdependent airspace regions. Although these systems
                 are critical to ensuring the efficiency \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "26",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Wang:2020:EMF,
  author =       "Ding Wang and Ping Wang and Chenyu Wang",
  title =        "Efficient Multi-Factor User Authentication Protocol
                 with Forward Secrecy for Real-Time Data Access in
                 {WSNs}",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "30:1--30:26",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3325130",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3325130",
  abstract =     "It is challenging to design a secure and efficient
                 multi-factor authentication scheme for real-time data
                 access in wireless sensor networks. On the one hand,
                 such real-time applications are generally security
                 critical, and various security goals need to \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "30",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Alaeiyan:2020:MFR,
  author =       "Mohammadhadi Alaeiyan and Ali Dehghantanha and Tooska
                 Dargahi and Mauro Conti and Saeed Parsa",
  title =        "A Multilabel Fuzzy Relevance Clustering System for
                 Malware Attack Attribution in the Edge Layer of
                 Cyber-Physical Networks",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "31:1--31:22",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3351881",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3351881",
  abstract =     "The rapid increase in the number of malicious programs
                 has made malware forensics a daunting task and caused
                 users' systems to become in danger. Timely
                 identification of malware characteristics including its
                 origin and the malware sample family would \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "31",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Hatzivasilis:2020:MSK,
  author =       "George Hatzivasilis and Othonas Soultatos and Sotiris
                 Ioannidis and George Spanoudakis and Vasilios Katos and
                 Giorgos Demetriou",
  title =        "{MobileTrust}: Secure Knowledge Integration in
                 {VANETs}",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "33:1--33:25",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3364181",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3364181",
  abstract =     "Vehicular Ad hoc NETworks (VANET) are becoming popular
                 due to the emergence of the Internet of Things and
                 ambient intelligence applications. In such networks,
                 secure resource sharing functionality is accomplished
                 by incorporating trust schemes. Current \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "33",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

@Article{Guerar:2020:CNA,
  author =       "Meriem Guerar and Luca Verderame and Alessio Merlo and
                 Francesco Palmieri and Mauro Migliardi and Luca
                 Vallerini",
  title =        "{CirclePIN}: a Novel Authentication Mechanism for
                 Smartwatches to Prevent Unauthorized Access to {IoT}
                 Devices",
  journal =      j-TCPS,
  volume =       "4",
  number =       "3",
  pages =        "34:1--34:19",
  month =        mar,
  year =         "2020",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/3365995",
  ISSN =         "2378-962X (print), 2378-9638 (electronic)",
  ISSN-L =       "2378-962X",
  bibdate =      "Tue Apr 7 14:51:07 MDT 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/tcps.bib",
  URL =          "https://dl.acm.org/doi/abs/10.1145/3365995",
  abstract =     "In the last months, the market for personal wearable
                 devices has been booming significantly, and, in
                 particular, smartwatches are starting to assume a
                 fundamental role in the Bring Your Own Device (BYOD)
                 arena as well as in the more general Internet of
                 \ldots{}",
  acknowledgement = ack-nhfb,
  articleno =    "34",
  fjournal =     "ACM Transactions on Cyber-Physical Systems",
  journal-URL =  "https://dl.acm.org/loi/tcps",
}

%%% [07-Apr-2020] TO DO: v4n3 is incomplete (missing articles 27, 28, 29, 32, etc.)