A. Banerjee, S. Kandula, T. Mukherjee, and S. Gupta, BAND-AiDe: A tool for  cyber-physical  oriented  analysis  and  design  of body  area  networks  and devices,[ ACM Trans. Embedded Comput. Syst., Special  Issue on Wireless Health Systems, 2010.  
A.  Banerjee,  T.  Mukherjee,  and  S.  K.  S.  Gupta,  STHA:  Spatio-temporal hybrid  automata  for  safe  and  sustainable  cyber-physical  systems,[2011, under preparation.  
A.  Bhave,  B.  Krogh,  D.  Garlan,  and  B.  Schmerl,  View  consistency  in architectures for cyber-physical systems,[in Proc. 2nd ACM/IEEE Int. Conf. Cyber-Phys. Syst., Apr. 2011.  
A.  Haywood,  J.  Sherbeck,  P.  Phelan,G.  Varsamopoulos,  and  S.  Gupta,  A sustainable  data  center  with  heat-activated  cooling,[  in  Proc.  12th  IEEE Intersoc.  Conf.  Thermal  Thermomech.  Phenomena  Electron.  Syst.,  Jun. 2010, DOI: 10.1109/ITHERM.2010.5501334.   
A.  Kansal,  J.  Hsu,  M.  Srivastava,  and  V.  Raghunathan,  Harvesting  aware power  management  for  sensor  networks,[  in  Proc.  43rd  ACM/IEEEDesign Autom. Conf., 2006, pp. 651–656.  
C.  Green,  Z.  Ounaies,  and  E.  Hughesa,  Harvesting  energy  using  a  thin unimorph  prestressed  bender:  Geometrical  effects,[J.  Intell.  Mater.  Syst. Structures, vol. 16, no. 3, pp. 249–261, 2005.  
Carnegie  Mellon.  Methods  Keep  Bugs  Out  of  Software  for  Self-Driving Cars. [Online].Available:http://www.cmu.edu/news/archive/2011/June/june21_selfdrivingcars.shtml.  
D. Arney, M. Pajic, J. M. Goldman, I. Lee, R. Mangharam, and O. Sokolsky, BToward patient safety in closed-loop medical device systems,[ in Proc. 1st ACM/IEEE Int. Conf. Cyber-Phys. Syst., 2010, pp. 139–148.  
D. E. Arney, R. Jetley, P. Jones, I. Lee, A. Ray, O. Sokolsky, and Y. Zhang, Generic  Infusion  Pump  Hazard  Analysis  and  Safety  Requirements  Version 1.0, 2009. [Online]. Available:http://repository.upenn.edu/cis_reports/893.  
D.  G.  M.  Greenhalgh,  M.  B.  Lawless,  B.  Chew, W.  A.  Crone,  M.  E.  Fein, and  T.  L.  Palmieri,  B.  Temperature  threshold  for  burn  injury:  An  oximeter safety study,[ J. Burn Care Rehabil., vol. 25, no. 5, pp. 411–415, 2004.  [
D. Halperin, T. Heydt-Benjamin, K. Fu, T. Kohno, and W. Maisel, Security and privacy for implantable medical devices,[IEEE Pervasive Comput., vol. 7, no. 1, pp. 30–39, Jan.–Mar. 2008.  
D. Paul, L. Nathan, Y. Bazhang, M. Yvonne, and F. Moussy, BStudy of the effects  of  tissue  reactions  on  the  function  of  implanted  glucose  sensors,[  J. Biomed. Mater. Res. A, vol. 85, no. 3, pp. 699–706, 2007.  
D. Wada and D. Ward, The hybrid model: A new pharmacokinetic model for computer-controlled  infusion  pumps,[IEEE  Trans.  Biomed.  Eng.,  vol.  41, no.  2,  pp.  134–142,  Feb.  1994.  E.  A.  Lee,  BComputing  needs  time,[ Commun.ACM, vol. 52, no. 5, pp. 70–79, 2009.  
F. Adelstein, S. K. S. Gupta, G. Richard, and  L. Schwiebert, Fundamentals of Mobile and Pervasive Computing. New York: McGraw-Hill, 2005.  
FDA  Urged  to  Rethink  Approval  of  Medical  Devices.  [Online].  Available: http://www.latimes.com/health/la-na-medical-devicesapproval-20110730,0,6697377.story.  G. Frehse, Phaver:  Algorithmic verification of hybrid systems past hytech,[ in Proc. Hybrid Systems: Computation and Control (HSCC), 2005, pp. 258–273.  
G.  Lafferriere,  G.  J.  Pappas,  and  S.  Yovine, Reachability  computation  for linear  hybrid  systems,[in  Proc.  14th  IFAC  World  Congr.,Volume  E,  1998, pp. 7–12.  
G.  Park,  T.  Rosing,  M.  D.  Todd,  C.  R.  Farrar,  and  W.  Hodgkiss.  (2008). Energy  harvesting  for  structural  health  monitoring sensor  networks.  J. Infrastructure Syst. [Online].14, pp. 64–79. Available: http://link.aip.org/link/?QIS/14/64/1  
G.  Varsamopoulos,  Z.  Abbasi,  and  S.  K.  S.  Gupta,  BTrends  and  effects  of energy  proportionality  on  server  provisioning  in  data  centers,[  in  Proc.  Int. Conf. High Performance Comput. Conf., Dec. 2010, pp. 1–11.  
H. H. Pennes, Analysis of tissue and arterial blood temperature in the resting human forearm, J. Appl. Physiol., vol. 1, no. 1, pp. 93–122, 1948.  
I. Korhonen, J. Parkka, and M. Van Gils, Health monitoring in the home of the future,[IEEE Eng. Med. Biol. Mag., vol. 22, no. 3, pp. 66–73, May–Jun. 2003. 
IMPACT  Lab,  CPSAnnex.  [Online].  Available:  https://wiki.sei.cmu.edu/ aadl/images/0/00/CyberPhysicalSystemsTribidMay2010pdf   
J.  A.  Paradiso  and  T.  Starner,  Energy  scavenging  for  mobile  and  wireless electronics,[  IEEE  Pervasive  Comput.,  vol.  4,  no.  1,  pp.  18–27,  Jan.–Mar. 2005.   
J. C. Willems, The behavioral approach to open and interconnected systems,[ IEEE Control Syst. Mag., vol. 27, no. 6, pp. 46–99, Dec. 2007.  
J. Jacobs, Algorithm for optimal linear model-based control with application to  pharmacokinetic  model-driven  drug  delivery,[  IEEE  Trans.  Biomed. Eng., vol. 37, no. 1, pp. 107–109, Jan. 1990.  
K.  Venkatasubramanian,  A.  Banerjee,  and  S.  K.  S.  Gupta,  PSKA:  Usable and secure key agreement scheme for body area networks,[IEEE Trans. Inf. Technol.  Biomed.,  vol.  14,Special  Issue  on  Wireless  Health,  no.  1,pp.  60–68, Jan. 2010.  
K. Venkatasubramanian, G. Deng, T. Mukherjee, J. Quintero, V. Annamalai, and  S.  K.  S.  Gupta,  BAyushman:  A  wireless  sensor  network  based  health monitoring  infrastructure  and  testbed,[  Distrib.  Comput.  Sensor  Syst.,  vol. 3560, pp. 406–407, Jul. 2005.  
K. Venkatasubramanian, G. Deng, T. Mukherjee, J. Quintero, V. Annamalai, and  S.  K.  S.  Gupta,  BAyushman:  A  wireless  sensor  network  based  health monitoring  infrastructure  and  testbed,[in  Proc.  IEEE  Int.  Conf.  Distrib. Comput. Sensor Syst., Jun./Jul. 2005, pp. 406–407. 
K. Venkatasubramanian, S. Nabar,S. K. S. Gupta, and R. Poovendran, Cyber Physical  Security  Solutions  for  Pervasive  Health  Monitoring  Systems,  M. Watfa,   Ed.   IGI   Global,   2011,   ser.E-Healthcare   Systems   and   Wireless Communications: Current and Future Challenges.  
M. Roma ́n, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, and K. Nahrstedt,  BA  middleware  infrastructur  for  active  spaces,[  IEEE  Pervasive Comput., vol. 1, no. 4, pp. 74–83, Oct.–Dec. 2002. N. Lewis, Toward cost-effective solar energy use,[ Science, vol. 315, no. 5813, pp. 798–801, 2007.  
Q.  Tang,  N.  Tummala,  S.  Gupta,  and  L.  Schwiebert,  BCommunication scheduling  to  minimize  thermal  effects  of  implanted  biosensor  networks  in homogeneous  tissue,[IEEE  Trans.  Biomed.  Eng.,  vol. 52,  no.  7,pp.  1285–1294, Jul. 2005  
R. Jetley, S. P. Iyer, and P. L. Jones, A formal methods approach to medical device review,[Computer, vol. 39, no. 4, pp. 61–67, 2006.  
R.  N.  Maini,  F.  C.  Breedveld,  J.  R.  Kalden,  J.  S.  Smolen,  D.  Davis,  J.  D. MacFarlane, C. Antoni, B. Leeb, M. J. Elliott, J. N. Woody, T. F. Schaible, and M. Feldmann, Therapeutic efficacy of multiple intravenous infusions of anti-tumor  necrosis  factor  a  monoclonal  antibody  combined  with  low-dose weekly methotrexate in rheumatoid arthritis,[ Arthritis Rheumatism, vol. 41, no. 9,pp. 1552–1563, 1998.  
R. Paradiso, G. Loriga, and N. Taccini, A wearable health care system based on  knitted  integrated  sensors,  IEEE  Trans.  Inf.  Technol.  Biomed.,  vol.  9, no. 3, pp. 337–344, Sep. 2005.  
R.  Urgaonkar,  B.  Urgaonkar,  M.  Neely,  and  A. Sivasubramaniam,  Optimal power cost management using stored energy in data centers, 2011. [Online]. Available: arXiv:1103.3099. 
S.   Govindan,   A.   Sivasubramaniam,   and   B.   Urgaonkar,   Benefits   and limitations  of  tapping  into  stored  energy  for  datacenters,[in  Proc.  38th  Int. Symp. Comput. Architecture, San Jose, CA, Jun. 2011.   
S.  Gupta,  R.  R.  Gilbert,  A.  Banerjee,  Z.  Abbasi,  T.  Mukherjee,  and  G. arsamopoulos,  BGDCSimVAn  integrated  tool  chain  for analyzing  green data  center  physical  design  and  resource  management  techniques,[  inProc. Int. Green Comput. Conf., Orlando, FL, 2011.  
S. K. S. Gupta, Model-based engineering of UAVs to ensure safety of critical missions,[presented  at  the  S5  Conf.,  Beavercreek,  Ohio,  Jun.  5,  2011 [Online]. Available: https://www.signup4.net/public/ap.aspx?EID=SAFE23-E&OID=110. 
S.   K.   S.   Gupta,   T.   Mukherjee,   G.   Varsamopoulos,   and   A.   Banerjee, BResearch    directions    in    energy-sustainable    cyber-physical    systems,[ Elsevier   Comnets,   vol.   1,   Special   Issue   in   Sustainable   Computing (SUSCOM), pp. 57–74, 2011.   
S. Kandula, T. Mukherjee, and S. Gupta, Toward autonomous vehicle safety verification   from   mobile   cyber-physical   systems   perspective,[in   Proc. ACM/IEEE  2nd  Int.  Conf.  Cyber-Phys.  Syst.,  Work-in-Progress  (WiP) Session, Apr. 2011.  
Safety  Standard,  ISO  60601.  [Online].  Available:  http://www.iso.org/iso/ iso_catalogue/catalogue_tc/catalogue_detail. htm?csnumber=.  
T.  A.  Henzinger,  The  theory  of  hybrid  automata,[  Proc.  11th  Annu.  IEEE Symp. Logic Comput. Sci., 1996, pp. 278–292.  
T.  Mukherjee  and  S.  K.  S.  Gupta,  MCMA+CRET:  A mixed  criticality management  architecture  for  maximizing  mission  efficacy  and  tool  for expediting   certification   of   UAVs,[   in   Proc.   IEEE   Workshop   Mixed Criticality: Roadmap to Evolving UAV Certification, 2009, pp. 1–2.  
T.Mukherjee, A. Banerjee, G. Varsamopoulos, S. K. S. Gupta, and S. Rungta. (2009,  Jun.).  Spatio-temporal  thermal-aware  job  scheduling  to  minimize energy  consumption  in  virtualized  heterogeneous  data  centers?,Computer Netw. [Online]. Available: http://dx.doi.org/10.1016/j.comnet.2009.06.008   
V.  Hartkopf,  V.  Loftness,  A.  Mahdavi,  S.  Lee, and  J.  Shankavaram,  BAn integrated  approach  to  design  and  engineering  of  intelligent  buildings-the intelligent  workplace  at  Carnegie  Mellon  University,[Autom.  Construction, vol. 6, no. 5–6, pp. 401–415, 1997. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0926580597000198.      
V. Shnayder, B.-R. Chen, K. Lorincz, T. R. F. Fulford-Jones, and M. Welsh, Sensor networks for medical care,[ Harvard Univ. Tech. Rep., Apr. 2005.   
Z.  Abbasi,  G.  Varsamopoulos,  and  S.  K.  S.  Gupta,  Thermal  aware  server provisioning  and  workload  distribution  for  internet  data  centers,[  in  Proc. ACM  Int.  Symp.  High  Performance  Distrib.  Comput.,  Jun.  2010,  pp.  130–141.  
Z.  Jiang,  M.  Pajic,  A.  Connolly,  S.  Dixit,  and  R.  Mangharam,  Real-time heart  model  for  implantable  cardiac  device  validation  and  verification,[  in Proc. Euromicro Conf. Real-Time Syst., Brussels, 2010, pp. 239–248.